| Parent directory/ | - | - |
| coq-libs_8.0pl3-2ubuntu1_all.deb | 4M | 23-Mar-2007 14:03 |
| coq-libs_8.1+dfsg-6_all.deb | 14M | 11-Jul-2007 15:03 |
| coq-libs_8.1.pl3+dfsg-1_all.deb | 12M | 08-Jan-2008 00:07 |
| coq-libs_8.1.pl3+dfsg-1build1_all.deb | 12M | 27-May-2008 14:04 |
| coq-theories_8.2.pl1+dfsg-2_all.deb | 17M | 28-Jul-2009 19:13 |
| coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb | 18M | 18-Sep-2010 19:04 |
| coq-theories_8.3.pl2+dfsg-1build1_all.deb | 50M | 25-Aug-2011 05:04 |
| coq-theories_8.3.pl4+dfsg-2_all.deb | 52M | 08-Jun-2012 18:04 |
| coq7-libs_8.0pl3-2ubuntu1_all.deb | 4M | 23-Mar-2007 14:03 |
| coq_8.0pl3-2ubuntu1_i386.deb | 6M | 23-Mar-2007 14:03 |
| coq_8.1+dfsg-6_i386.deb | 7M | 11-Jul-2007 15:03 |
| coq_8.1.pl3+dfsg-1_i386.deb | 8M | 08-Jan-2008 00:07 |
| coq_8.1.pl3+dfsg-1build1_i386.deb | 8M | 27-May-2008 14:04 |
| coq_8.2.pl1+dfsg-2_i386.deb | 13M | 28-Jul-2009 19:13 |
| coq_8.2.pl2+dfsg-1ubuntu1_i386.deb | 13M | 18-Sep-2010 19:05 |
| coq_8.3.pl2+dfsg-1build1_i386.deb | 5M | 25-Aug-2011 05:05 |
| coq_8.3.pl4+dfsg-2_i386.deb | 5M | 08-Jun-2012 18:04 |
| coqide_8.0pl3-2ubuntu1_i386.deb | 3M | 23-Mar-2007 14:03 |
| coqide_8.1+dfsg-6_i386.deb | 4M | 11-Jul-2007 15:03 |
| coqide_8.1.pl3+dfsg-1_i386.deb | 5M | 08-Jan-2008 00:07 |
| coqide_8.1.pl3+dfsg-1build1_i386.deb | 5M | 27-May-2008 14:04 |
| coqide_8.2.pl1+dfsg-2_i386.deb | 6M | 28-Jul-2009 19:13 |
| coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb | 6M | 18-Sep-2010 19:05 |
| coqide_8.3.pl2+dfsg-1build1_i386.deb | 5M | 25-Aug-2011 05:05 |
| coqide_8.3.pl4+dfsg-2_i386.deb | 5M | 08-Jun-2012 18:04 |
| libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb | 6M | 28-Jul-2009 19:13 |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb | 6M | 18-Sep-2010 19:05 |
| libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb | 5M | 25-Aug-2011 05:05 |
| libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb | 5M | 08-Jun-2012 18:04 |
| libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb | 2M | 25-Aug-2011 05:05 |
| libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb | 2M | 08-Jun-2012 18:04 |