Index of /pub/debian-archive/debian-amd64/pool/main/c/coq

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] coq7-libs_8.0pl2-2_all.deb 2005-03-31 23:17 3.6M [   ] coq-libs_8.0pl2-2_all.deb 2005-04-30 12:54 3.6M [   ] coqide_8.0pl2-2_amd64.deb 2005-04-30 12:54 4.1M [   ] coq_8.0pl2-2.diff.gz 2005-04-30 12:54 11K [TXT] coq_8.0pl2-2.dsc 2005-04-30 12:54 919 [   ] coq_8.0pl2-2_amd64.deb 2005-04-30 12:54 6.2M [   ] coq_8.0pl2.orig.tar.gz 2005-04-30 12:54 2.2M
Universidade do Porto | Helpdesk