Index of /ubuntu/pool/universe/c/coq/
../
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 00:07 12M
coq-theories_8.2.pl1+dfsg-6_all.deb 27-Feb-2010 17:04 17M
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 18-Sep-2010 19:04 18M
coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 05:04 50M
coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 11:04 52M
coq-theories_8.3.pl4+dfsg-1build1_all.deb 16-May-2012 03:03 51M
coq_8.1.pl3+dfsg-1.diff.gz 07-Jan-2008 21:03 15K
coq_8.1.pl3+dfsg-1.dsc 07-Jan-2008 21:03 1070
coq_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 00:06 9M
coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 8M
coq_8.1.pl3+dfsg.orig.tar.gz 07-Jan-2008 21:03 2M
coq_8.2.pl1+dfsg-6.diff.gz 27-Feb-2010 16:04 15K
coq_8.2.pl1+dfsg-6.dsc 27-Feb-2010 16:04 2218
coq_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 15M
coq_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 13M
coq_8.2.pl1+dfsg.orig.tar.gz 28-Jul-2009 19:13 3M
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 18-Sep-2010 18:05 17K
coq_8.2.pl2+dfsg-1ubuntu1.dsc 18-Sep-2010 18:05 1545
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 14M
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 13M
coq_8.2.pl2+dfsg.orig.tar.gz 27-Jul-2010 19:05 3M
coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 05:04 16K
coq_8.3.pl2+dfsg-1build1.dsc 25-Aug-2011 05:04 1559
coq_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5M
coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5M
coq_8.3.pl2+dfsg.orig.tar.gz 19-May-2011 15:05 3M
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 10:33 16K
coq_8.3.pl4+dfsg-1.dsc 03-Apr-2012 10:33 2343
coq_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5M
coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5M
coq_8.3.pl4+dfsg-1build1.debian.tar.gz 16-May-2012 02:03 16K
coq_8.3.pl4+dfsg-1build1.dsc 16-May-2012 02:03 1727
coq_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 03:03 5M
coq_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 03:04 5M
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 10:33 3M
coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 00:06 5M
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 5M
coqide_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6M
coqide_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 6M
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6M
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 6M
coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5M
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5M
coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5M
coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5M
coqide_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 03:03 5M
coqide_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 03:03 5M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5M
libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 03:03 6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 03:03 5M
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 2M
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 2M
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 2M
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 2M
libcoq-ocaml_8.3.pl4+dfsg-1build1_amd64.deb 16-May-2012 03:03 2M
libcoq-ocaml_8.3.pl4+dfsg-1build1_i386.deb 16-May-2012 03:03 2M