Index of /debian/pool/main/c/coq
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
coq-libs_8.0pl2-2_all.deb 2005-04-30 13:54 3.6M
coq-libs_8.0pl3-2_all.deb 2006-02-19 13:32 3.6M
coq-libs_8.1.pl3+dfsg-1_all.deb 2008-01-05 10:32 12M
coq-theories_8.2.pl2+dfsg-1_all.deb 2010-07-02 17:19 18M
coq-theories_8.3.pl4+dfsg-2_all.deb 2012-06-06 08:32 52M
coq-theories_8.4pl4dfsg-1_all.deb 2014-07-27 17:26 31M
coq-theories_8.6-4_amd64.deb 2016-12-30 01:56 30M
coq-theories_8.6-4_i386.deb 2016-12-30 02:57 29M
coq7-libs_8.0pl2-2_all.deb 2005-04-01 00:17 3.6M
coq7-libs_8.0pl3-2_all.deb 2006-02-19 13:32 3.6M
coqide_8.0pl2-2_i386.deb 2005-04-01 00:17 3.9M
coqide_8.0pl3-2_amd64.deb 2006-03-31 17:02 3.5M
coqide_8.0pl3-2_i386.deb 2006-02-19 13:32 3.3M
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 2008-05-23 18:17 5.0M
coqide_8.1.pl3+dfsg-1+b2_i386.deb 2008-05-26 16:17 4.7M
coqide_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 17:19 6.2M
coqide_8.2.pl2+dfsg-1_i386.deb 2010-07-02 19:03 5.7M
coqide_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 08:32 5.4M
coqide_8.3.pl4+dfsg-2_i386.deb 2012-06-06 09:32 5.0M
coqide_8.4pl4dfsg-1_amd64.deb 2014-07-27 17:26 779K
coqide_8.4pl4dfsg-1_i386.deb 2014-07-27 18:57 714K
coqide_8.6-4_amd64.deb 2016-12-30 01:56 1.3M
coqide_8.6-4_i386.deb 2016-12-30 02:57 1.3M
![[ ]](/icons/compressed.gif)
coq_7.2-9.diff.gz 2002-02-15 20:24 4.5K
![[TXT]](/icons/text.gif)
coq_7.2-9.dsc 2002-02-15 20:15 614
coq_7.2-9_i386.deb 2002-02-15 20:24 7.8M
coq_7.2.orig.tar.gz 2002-01-18 22:26 1.1M
coq_8.0pl2-2.diff.gz 2005-04-30 13:54 11K
coq_8.0pl2-2.dsc 2005-04-30 13:54 919
coq_8.0pl2-2_i386.deb 2005-04-01 00:17 5.8M
coq_8.0pl2.orig.tar.gz 2005-04-30 13:54 2.2M
coq_8.0pl3-2.diff.gz 2006-02-19 13:32 16K
coq_8.0pl3-2.dsc 2006-02-19 13:32 891
coq_8.0pl3-2_amd64.deb 2006-03-31 17:02 6.2M
coq_8.0pl3-2_i386.deb 2006-02-19 13:32 5.8M
coq_8.0pl3.orig.tar.gz 2006-01-23 23:02 2.2M
coq_8.1.pl3+dfsg-1+b2_amd64.deb 2008-05-23 18:17 8.6M
coq_8.1.pl3+dfsg-1+b2_i386.deb 2008-05-26 16:17 8.1M
coq_8.1.pl3+dfsg-1.diff.gz 2008-01-05 10:32 15K
coq_8.1.pl3+dfsg-1.dsc 2008-01-05 10:32 1.0K
coq_8.1.pl3+dfsg.orig.tar.gz 2008-01-05 10:32 2.4M
coq_8.2.pl2+dfsg-1.debian.tar.gz 2010-07-02 17:19 16K
coq_8.2.pl2+dfsg-1.dsc 2010-07-02 17:19 2.1K
coq_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 17:19 15M
coq_8.2.pl2+dfsg-1_i386.deb 2010-07-02 19:03 13M
coq_8.2.pl2+dfsg.orig.tar.gz 2010-07-02 17:19 3.0M
coq_8.3.pl4+dfsg-2.debian.tar.gz 2012-06-06 08:32 16K
coq_8.3.pl4+dfsg-2.dsc 2012-06-06 08:32 2.3K
coq_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 08:32 5.4M
coq_8.3.pl4+dfsg-2_i386.deb 2012-06-06 09:32 4.8M
coq_8.3.pl4+dfsg.orig.tar.gz 2012-03-27 09:02 3.0M
coq_8.4pl4dfsg-1.debian.tar.xz 2014-07-27 17:26 15K
coq_8.4pl4dfsg-1.dsc 2014-07-27 17:26 2.3K
coq_8.4pl4dfsg-1_amd64.deb 2014-07-27 17:26 3.9M
coq_8.4pl4dfsg-1_i386.deb 2014-07-27 18:57 3.6M
coq_8.4pl4dfsg.orig.tar.gz 2014-07-27 17:26 3.4M
coq_8.6-4.debian.tar.xz 2016-12-30 01:56 21K
coq_8.6-4.dsc 2016-12-30 01:56 2.3K
coq_8.6-4_amd64.deb 2016-12-30 01:56 13M
coq_8.6-4_i386.deb 2016-12-30 02:57 13M
coq_8.6.orig.tar.gz 2016-12-28 14:44 4.8M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 17:19 5.8M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 2010-07-02 19:03 5.7M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 08:32 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 2012-06-06 09:32 5.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 2014-07-27 17:26 3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 2014-07-27 18:57 3.6M
libcoq-ocaml-dev_8.6-4_amd64.deb 2016-12-30 01:56 13M
libcoq-ocaml-dev_8.6-4_i386.deb 2016-12-30 02:57 13M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 08:32 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 2012-06-06 09:32 1.8M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 2014-07-27 17:26 1.6M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 2014-07-27 18:57 1.4M
libcoq-ocaml_8.6-4_amd64.deb 2016-12-30 01:56 3.3M
libcoq-ocaml_8.6-4_i386.deb 2016-12-30 02:57 3.2M