| Parent Directory | | | Directory |
| coq-libs_8.1.pl3+dfsg-1_all.deb | 2008-Jan-07 19:07:02 | 12M | application/octet-stream |
| coq-theories_8.2.pl1+dfsg-6_all.deb | 2010-Feb-27 12:04:48 | 17.3M | application/octet-stream |
| coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb | 2010-Sep-18 15:04:44 | 17.5M | application/octet-stream |
| coq-theories_8.3.pl2+dfsg-1build1_all.deb | 2011-Aug-25 01:04:51 | 50.5M | application/octet-stream |
| coq-theories_8.3.pl4+dfsg-1_all.deb | 2012-Apr-03 07:04:02 | 51.7M | application/octet-stream |
| coq-theories_8.3.pl4+dfsg-2_all.deb | 2012-Jun-08 14:04:29 | 51.9M | application/octet-stream |
| coq_8.1.pl3+dfsg-1.diff.gz | 2008-Jan-07 16:03:57 | 15.2K | application/x-gzip |
| coq_8.1.pl3+dfsg-1.dsc | 2008-Jan-07 16:03:57 | 1K | application/octet-stream |
| coq_8.1.pl3+dfsg-1_amd64.deb | 2008-Jan-07 19:06:55 | 8.6M | application/octet-stream |
| coq_8.1.pl3+dfsg-1_i386.deb | 2008-Jan-07 19:07:17 | 8.1M | application/octet-stream |
| coq_8.1.pl3+dfsg.orig.tar.gz | 2008-Jan-07 16:03:57 | 2.4M | application/x-gzip |
| coq_8.2.pl1+dfsg-6.diff.gz | 2010-Feb-27 11:04:43 | 15.3K | application/x-gzip |
| coq_8.2.pl1+dfsg-6.dsc | 2010-Feb-27 11:04:43 | 2.2K | application/octet-stream |
| coq_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 12:04:49 | 14.6M | application/octet-stream |
| coq_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 12:04:53 | 13.1M | application/octet-stream |
| coq_8.2.pl1+dfsg.orig.tar.gz | 2009-Jul-28 15:13:03 | 3M | application/x-gzip |
| coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz | 2010-Sep-18 14:05:00 | 16.9K | application/x-gzip |
| coq_8.2.pl2+dfsg-1ubuntu1.dsc | 2010-Sep-18 14:05:00 | 1.5K | application/octet-stream |
| coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb | 2010-Sep-18 15:04:59 | 14.4M | application/octet-stream |
| coq_8.2.pl2+dfsg-1ubuntu1_i386.deb | 2010-Sep-18 15:05:04 | 12.8M | application/octet-stream |
| coq_8.2.pl2+dfsg.orig.tar.gz | 2010-Jul-27 15:05:09 | 3M | application/x-gzip |
| coq_8.3.pl2+dfsg-1build1.debian.tar.gz | 2011-Aug-25 01:04:32 | 16.1K | application/x-gzip |
| coq_8.3.pl2+dfsg-1build1.dsc | 2011-Aug-25 01:04:32 | 1.5K | application/octet-stream |
| coq_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 01:04:38 | 5.3M | application/octet-stream |
| coq_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 01:05:33 | 4.7M | application/octet-stream |
| coq_8.3.pl2+dfsg.orig.tar.gz | 2011-May-19 11:05:21 | 3M | application/x-gzip |
| coq_8.3.pl4+dfsg-1.debian.tar.gz | 2012-Apr-03 06:33:54 | 15.9K | application/x-gzip |
| coq_8.3.pl4+dfsg-1.dsc | 2012-Apr-03 06:33:55 | 2.3K | application/octet-stream |
| coq_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 07:34:27 | 5.3M | application/octet-stream |
| coq_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 07:04:21 | 4.7M | application/octet-stream |
| coq_8.3.pl4+dfsg-2.debian.tar.gz | 2012-Jun-08 10:36:07 | 15.9K | application/x-gzip |
| coq_8.3.pl4+dfsg-2.dsc | 2012-Jun-08 10:36:07 | 2.3K | application/octet-stream |
| coq_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 17:03:50 | 5.3M | application/octet-stream |
| coq_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 14:04:44 | 4.7M | application/octet-stream |
| coq_8.3.pl4+dfsg.orig.tar.gz | 2012-Apr-03 06:33:54 | 3M | application/x-gzip |
| coqide_8.1.pl3+dfsg-1_amd64.deb | 2008-Jan-07 19:06:55 | 5M | application/octet-stream |
| coqide_8.1.pl3+dfsg-1_i386.deb | 2008-Jan-07 19:07:16 | 4.7M | application/octet-stream |
| coqide_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 12:04:49 | 6.2M | application/octet-stream |
| coqide_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 12:04:52 | 5.7M | application/octet-stream |
| coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb | 2010-Sep-18 15:04:58 | 6.1M | application/octet-stream |
| coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb | 2010-Sep-18 15:05:03 | 5.6M | application/octet-stream |
| coqide_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 01:04:38 | 5.2M | application/octet-stream |
| coqide_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 01:05:32 | 4.9M | application/octet-stream |
| coqide_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 07:34:27 | 5.2M | application/octet-stream |
| coqide_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 07:04:20 | 4.9M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 17:03:50 | 5.2M | application/octet-stream |
| coqide_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 14:04:42 | 4.9M | application/octet-stream |
| libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 12:04:48 | 5.8M | application/octet-stream |
| libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 12:04:52 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb | 2010-Sep-18 15:04:58 | 5.7M | application/octet-stream |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb | 2010-Sep-18 15:05:03 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 01:04:37 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 01:05:32 | 5.4M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 07:34:27 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 07:04:18 | 5.5M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 17:03:49 | 5.6M | application/octet-stream |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 14:04:41 | 5.5M | application/octet-stream |
| libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 01:04:38 | 1.9M | application/octet-stream |
| libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 01:05:32 | 1.7M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 07:34:27 | 1.9M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 07:04:20 | 1.7M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 17:03:49 | 1.9M | application/octet-stream |
| libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 14:04:41 | 1.7M | application/octet-stream |