Index of /pub/os/linux/debian-amd64/pool/main/c/coq/

Filename	Modification time	Size
coq-libs_8.0pl2-2_all.deb	2005-04-30 13:54 CEST	3648 KiB
coq7-libs_8.0pl2-2_all.deb	2005-04-01 00:17 CEST	3722 KiB
coq_8.0pl2-2.diff.gz	2005-04-30 13:54 CEST	11 KiB
coq_8.0pl2-2.dsc	2005-04-30 13:54 CEST	919 B
coq_8.0pl2-2_amd64.deb	2005-04-30 13:54 CEST	6321 KiB
coq_8.0pl2.orig.tar.gz	2005-04-30 13:54 CEST	2232 KiB
coqide_8.0pl2-2_amd64.deb	2005-04-30 13:54 CEST	4186 KiB