Index of /ubuntu/pool/universe/c/coq
Name Last modified Size Description
Parent Directory -
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 09:07 12M
coq-theories_8.2.pl1+dfsg-6_all.deb 28-Feb-2010 02:04 17M
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 19-Sep-2010 04:04 18M
coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 14:04 50M
coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 20:04 52M
coq-theories_8.3.pl4+dfsg-1build1_all.deb 16-May-2012 12:03 51M
coq_8.1.pl3+dfsg-1.diff.gz 08-Jan-2008 06:03 15K
coq_8.1.pl3+dfsg-1.dsc 08-Jan-2008 06:03 1.0K
coq_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 09:06 8.6M
coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 09:07 8.1M
coq_8.1.pl3+dfsg.orig.tar.gz 08-Jan-2008 06:03 2.4M
coq_8.2.pl1+dfsg-6.diff.gz 28-Feb-2010 01:04 15K
coq_8.2.pl1+dfsg-6.dsc 28-Feb-2010 01:04 2.2K
coq_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 02:04 15M
coq_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 02:04 13M
coq_8.2.pl1+dfsg.orig.tar.gz 29-Jul-2009 04:13 3.0M
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 19-Sep-2010 03:05 17K
coq_8.2.pl2+dfsg-1ubuntu1.dsc 19-Sep-2010 03:05 1.5K
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 04:04 14M
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 04:05 13M
coq_8.2.pl2+dfsg.orig.tar.gz 28-Jul-2010 04:05 3.0M
coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 14:04 16K
coq_8.3.pl2+dfsg-1build1.dsc 25-Aug-2011 14:04 1.5K
coq_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 14:04 5.3M
coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 14:05 4.7M
coq_8.3.pl2+dfsg.orig.tar.gz 20-May-2011 00:05 3.0M
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 19:33 16K
coq_8.3.pl4+dfsg-1.dsc 03-Apr-2012 19:33 2.3K
coq_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 20:34 5.3M
coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 20:04 4.7M
coq_8.3.pl4+dfsg-1build1.debian.tar.gz 16-May-2012 11:03 16K
coq_8.3.pl4+dfsg-1build1.dsc 16-May-2012 11:03 1.7K
coq_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 12:03 5.3M
coq_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 12:04 4.7M
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 19:33 3.0M
coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 09:06 5.0M
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 09:07 4.7M
coqide_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 02:04 6.2M
coqide_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 02:04 5.7M
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 04:04 6.1M
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 04:05 5.6M
coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 14:04 5.2M
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 14:05 4.9M
coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 20:34 5.2M
coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 20:04 4.9M
coqide_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 12:03 5.2M
coqide_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 12:03 4.9M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 02:04 5.8M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 02:04 5.6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 04:04 5.7M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 04:05 5.6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 14:04 5.6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 14:05 5.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 20:34 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 20:04 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 12:03 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 12:03 5.4M
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 14:04 1.9M
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 14:05 1.7M
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 20:34 1.9M
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 20:04 1.7M
libcoq-ocaml_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 12:03 1.9M
libcoq-ocaml_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 12:03 1.7M