| ../ | | - | Directory |
| coq-theories_8.2.pl1+dfsg-6_all.deb | 2010-Feb-27 18:04:48 | 17.2M | application/vnd.debian.binary-package |
| coq-theories_8.3.pl2+dfsg-1build1_all.deb | 2011-Aug-25 07:04:51 | 50.4M | application/vnd.debian.binary-package |
| coq-theories_8.3.pl4+dfsg-1_all.deb | 2012-Apr-03 13:04:02 | 51.7M | application/vnd.debian.binary-package |
| coq-theories_8.3.pl4+dfsg-2_all.deb | 2012-Jun-08 20:04:29 | 51.8M | application/vnd.debian.binary-package |
| coq-theories_8.4pl2dfsg-1_all.deb | 2013-May-09 02:03:45 | 56.1M | application/vnd.debian.binary-package |
| coq_8.2.pl1+dfsg-6.diff.gz | 2010-Feb-27 17:04:43 | 15.3K | application/gzip |
| coq_8.2.pl1+dfsg-6.dsc | 2010-Feb-27 17:04:43 | 2.1K | application/octet-stream |
| coq_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 18:04:49 | 14.6M | application/vnd.debian.binary-package |
| coq_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 18:04:53 | 13.0M | application/vnd.debian.binary-package |
| coq_8.2.pl1+dfsg.orig.tar.gz | 2009-Jul-28 21:13:03 | 2.9M | application/gzip |
| coq_8.3.pl2+dfsg-1build1.debian.tar.gz | 2011-Aug-25 07:04:32 | 16.1K | application/gzip |
| coq_8.3.pl2+dfsg-1build1.dsc | 2011-Aug-25 07:04:32 | 1.5K | application/octet-stream |
| coq_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 07:04:38 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 07:05:33 | 4.7M | application/vnd.debian.binary-package |
| coq_8.3.pl2+dfsg.orig.tar.gz | 2011-May-19 17:05:21 | 3.0M | application/gzip |
| coq_8.3.pl4+dfsg-1.debian.tar.gz | 2012-Apr-03 12:33:54 | 15.9K | application/gzip |
| coq_8.3.pl4+dfsg-1.dsc | 2012-Apr-03 12:33:55 | 2.2K | application/octet-stream |
| coq_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:21 | 4.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2.debian.tar.gz | 2012-Jun-08 16:36:07 | 15.9K | application/gzip |
| coq_8.3.pl4+dfsg-2.dsc | 2012-Jun-08 16:36:07 | 2.2K | application/octet-stream |
| coq_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 23:03:50 | 5.3M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 20:04:44 | 4.7M | application/vnd.debian.binary-package |
| coq_8.3.pl4+dfsg.orig.tar.gz | 2012-Apr-03 12:33:54 | 3.0M | application/gzip |
| coq_8.4pl2dfsg-1.debian.tar.gz | 2013-May-09 01:33:44 | 16.9K | application/gzip |
| coq_8.4pl2dfsg-1.dsc | 2013-May-09 01:33:44 | 2.2K | application/octet-stream |
| coq_8.4pl2dfsg-1_amd64.deb | 2013-May-09 02:03:44 | 5.6M | application/vnd.debian.binary-package |
| coq_8.4pl2dfsg-1_i386.deb | 2013-May-09 02:03:58 | 5.0M | application/vnd.debian.binary-package |
| coq_8.4pl2dfsg.orig.tar.gz | 2013-May-09 01:33:44 | 3.3M | application/gzip |
| coqide_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 18:04:49 | 6.2M | application/vnd.debian.binary-package |
| coqide_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 18:04:52 | 5.7M | application/vnd.debian.binary-package |
| coqide_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 07:04:38 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 07:05:32 | 4.8M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:20 | 4.8M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 23:03:50 | 5.2M | application/vnd.debian.binary-package |
| coqide_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 20:04:42 | 4.8M | application/vnd.debian.binary-package |
| coqide_8.4pl2dfsg-1_amd64.deb | 2013-May-09 02:03:44 | 973.2K | application/vnd.debian.binary-package |
| coqide_8.4pl2dfsg-1_i386.deb | 2013-May-09 02:03:58 | 766.3K | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb | 2010-Feb-27 18:04:48 | 5.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb | 2010-Feb-27 18:04:52 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 07:04:37 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 07:05:32 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 5.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:18 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 23:03:49 | 5.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 20:04:41 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb | 2013-May-09 02:03:43 | 5.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb | 2013-May-09 02:03:57 | 5.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb | 2011-Aug-25 07:04:38 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb | 2011-Aug-25 07:05:32 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb | 2012-Apr-03 13:34:27 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb | 2012-Apr-03 13:04:20 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb | 2012-Jun-08 23:03:49 | 1.9M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 2012-Jun-08 20:04:41 | 1.7M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl2dfsg-1_amd64.deb | 2013-May-09 02:03:44 | 2.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl2dfsg-1_i386.deb | 2013-May-09 02:03:57 | 1.8M | application/vnd.debian.binary-package |