/pool/main/p/paramcoq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
paramcoq_1.1.3+coq8.19.orig.tar.gz44.8 KiB2024-Apr-26 16:01
paramcoq_1.1.3+coq8.19-1.dsc2.1 KiB2024-Apr-26 16:01
paramcoq_1.1.3+coq8.19-1.debian.tar.xz3.0 KiB2024-Apr-26 16:01
paramcoq_1.1.3+coq8.16.orig.tar.gz44.7 KiB2022-Sep-06 11:09
paramcoq_1.1.3+coq8.16-3.dsc2.1 KiB2023-Jan-25 11:03
paramcoq_1.1.3+coq8.16-3.debian.tar.xz2.8 KiB2023-Jan-25 11:03
libcoq-paramcoq_1.1.3+coq8.19-1_armhf.deb102.4 KiB2024-Jun-26 00:08
libcoq-paramcoq_1.1.3+coq8.16-3+b2_armhf.deb108.2 KiB2023-May-21 03:16