Index of /repo/ubuntu/pool/universe/p/paramcoq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb2025-11-20 07:19 127K 
[ ]libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb2025-11-20 07:19 121K 
[ ]libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb2026-05-15 01:38 121K 
[ ]libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deb2026-03-13 01:22 120K 
[ ]libcoq-paramcoq_1.1.3+coq8.20-1build8_amd64.deb2026-07-11 14:53 121K 
[ ]paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz2026-05-15 01:38 3.2K 
[TXT]paramcoq_1.1.3+coq8.18-1build2.dsc2026-05-15 01:38 2.1K 
[ ]paramcoq_1.1.3+coq8.18.orig.tar.gz2026-05-15 01:38 45K 
[ ]paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz2026-05-15 01:38 3.3K 
[TXT]paramcoq_1.1.3+coq8.20-1build3.dsc2026-05-15 01:38 2.1K 
[ ]paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz2026-05-15 01:38 3.3K 
[TXT]paramcoq_1.1.3+coq8.20-1build4.dsc2026-05-15 01:38 2.1K 
[ ]paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz2026-05-15 01:38 3.4K 
[TXT]paramcoq_1.1.3+coq8.20-1build7.dsc2026-05-15 01:38 2.1K 
[ ]paramcoq_1.1.3+coq8.20-1build10.debian.tar.xz2026-08-30 03:49 3.5K 
[TXT]paramcoq_1.1.3+coq8.20-1build10.dsc2026-08-30 03:49 2.1K 
[ ]paramcoq_1.1.3+coq8.20.orig.tar.gz2026-05-15 01:38 45K