Index of /pub/os/linux/ubuntu/pool/universe/p/paramcoq/

Filename	Modification time	Size
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb	2024-04-01 08:51 CEST	127 KiB
libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb	2024-09-07 17:44 CEST	121 KiB
libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb	2024-11-21 00:31 CET	121 KiB
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz	2024-04-01 07:43 CEST	3244 B
paramcoq_1.1.3+coq8.18-1build2.dsc	2024-04-01 07:43 CEST	2189 B
paramcoq_1.1.3+coq8.18.orig.tar.gz	2023-12-22 18:26 CET	45 KiB
paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz	2024-09-07 17:43 CEST	3320 B
paramcoq_1.1.3+coq8.19-2build2.dsc	2024-09-07 17:43 CEST	2110 B
paramcoq_1.1.3+coq8.19.orig.tar.gz	2024-05-03 03:49 CEST	45 KiB
paramcoq_1.1.3+coq8.20-1.debian.tar.xz	2024-11-20 19:47 CET	3184 B
paramcoq_1.1.3+coq8.20-1.dsc	2024-11-20 19:47 CET	2111 B
paramcoq_1.1.3+coq8.20.orig.tar.gz	2024-11-20 19:47 CET	45 KiB