| Parent directory/ | - | - |
| coq-libs_8.1.pl3+dfsg-1_all.deb | 12M | 05-Jan-2008 09:32 |
| coq-theories_8.2.pl2+dfsg-1_all.deb | 18M | 02-Jul-2010 15:19 |
| coq_8.1.pl3+dfsg-1+b2_amd64.deb | 9M | 23-May-2008 16:17 |
| coq_8.1.pl3+dfsg-1+b2_i386.deb | 8M | 26-May-2008 14:17 |
| coq_8.2.pl2+dfsg-1_amd64.deb | 15M | 02-Jul-2010 15:19 |
| coq_8.2.pl2+dfsg-1_i386.deb | 13M | 02-Jul-2010 17:03 |
| coqide_8.1.pl3+dfsg-1+b2_amd64.deb | 5M | 23-May-2008 16:17 |
| coqide_8.1.pl3+dfsg-1+b2_i386.deb | 5M | 26-May-2008 14:17 |
| coqide_8.2.pl2+dfsg-1_amd64.deb | 6M | 02-Jul-2010 15:19 |
| coqide_8.2.pl2+dfsg-1_i386.deb | 6M | 02-Jul-2010 17:03 |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb | 6M | 02-Jul-2010 15:19 |
| libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb | 6M | 02-Jul-2010 17:03 |