Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

Index of /pub/ubuntu-archive/pool/universe/c/coq/

Index of /pub/ubuntu-archive/pool/universe/c/coq/

File NameFile SizeDate
Parent directory/--
coq-libs_8.0pl3-2_all.deb 373704013-Jul-2006 16:10
coq-libs_8.0pl3-2ubuntu1_all.deb 373720423-Mar-2007 14:03
coq-libs_8.1+dfsg-6_all.deb 1479769011-Jul-2007 15:03
coq-libs_8.1.pl3+dfsg-1_all.deb 1259387808-Jan-2008 00:07
coq-theories_8.2.pl1+dfsg-6_all.deb 1810843827-Feb-2010 17:04
coq7-libs_8.0pl3-2_all.deb 381257013-Jul-2006 16:10
coq7-libs_8.0pl3-2ubuntu1_all.deb 381271823-Mar-2007 14:03
coq_8.0pl3-2.diff.gz 1628915-Jun-2006 17:59
coq_8.0pl3-2.dsc 89115-Jun-2006 17:59
coq_8.0pl3-2_amd64.deb 654859613-Jul-2006 16:10
coq_8.0pl3-2_i386.deb 611411413-Jul-2006 16:10
coq_8.0pl3-2ubuntu1.diff.gz 1649823-Mar-2007 12:03
coq_8.0pl3-2ubuntu1.dsc 110323-Mar-2007 12:03
coq_8.0pl3-2ubuntu1_amd64.deb 660141623-Mar-2007 14:03
coq_8.0pl3-2ubuntu1_i386.deb 617919623-Mar-2007 14:03
coq_8.0pl3.orig.tar.gz 230900215-Jun-2006 17:59
coq_8.1+dfsg-6.diff.gz 1476511-Jul-2007 13:03
coq_8.1+dfsg-6.dsc 107911-Jul-2007 13:03
coq_8.1+dfsg-6_amd64.deb 786600411-Jul-2007 16:03
coq_8.1+dfsg-6_i386.deb 745296011-Jul-2007 15:03
coq_8.1+dfsg.orig.tar.gz 251280503-May-2007 11:05
coq_8.1.pl3+dfsg-1.diff.gz 1557807-Jan-2008 21:03
coq_8.1.pl3+dfsg-1.dsc 107007-Jan-2008 21:03
coq_8.1.pl3+dfsg-1_amd64.deb 902105008-Jan-2008 00:06
coq_8.1.pl3+dfsg-1_i386.deb 845165008-Jan-2008 00:07
coq_8.1.pl3+dfsg.orig.tar.gz 253462807-Jan-2008 21:03
coq_8.2.pl1+dfsg-6.diff.gz 1568427-Feb-2010 16:04
coq_8.2.pl1+dfsg-6.dsc 221827-Feb-2010 16:04
coq_8.2.pl1+dfsg-6_amd64.deb 1533810227-Feb-2010 17:04
coq_8.2.pl1+dfsg-6_i386.deb 1369886427-Feb-2010 17:04
coq_8.2.pl1+dfsg.orig.tar.gz 314220128-Jul-2009 19:13
coqide_8.0pl3-2_amd64.deb 366281413-Jul-2006 16:10
coqide_8.0pl3-2_i386.deb 344067213-Jul-2006 16:10
coqide_8.0pl3-2ubuntu1_amd64.deb 368037423-Mar-2007 14:03
coqide_8.0pl3-2ubuntu1_i386.deb 345839623-Mar-2007 14:03
coqide_8.1+dfsg-6_amd64.deb 491470611-Jul-2007 16:03
coqide_8.1+dfsg-6_i386.deb 466273211-Jul-2007 15:03
coqide_8.1.pl3+dfsg-1_amd64.deb 522207408-Jan-2008 00:06
coqide_8.1.pl3+dfsg-1_i386.deb 492002208-Jan-2008 00:07
coqide_8.2.pl1+dfsg-6_amd64.deb 654475827-Feb-2010 17:04
coqide_8.2.pl1+dfsg-6_i386.deb 601931827-Feb-2010 17:04
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 603912027-Feb-2010 17:04
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 588458427-Feb-2010 17:04