Index of /ubuntu/pool/universe/c/coq
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 08:07 12M
coq-theories_8.2.pl1+dfsg-6_all.deb 28-Feb-2010 01:04 17M
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 19-Sep-2010 03:04 18M
coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 13:04 50M
coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 19:04 52M
coq-theories_8.3.pl4+dfsg-2_all.deb 09-Jun-2012 02:04 52M
![[ ]](/icons/compressed.gif)
coq_8.1.pl3+dfsg-1.diff.gz 08-Jan-2008 05:03 15K
![[TXT]](/icons/text.gif)
coq_8.1.pl3+dfsg-1.dsc 08-Jan-2008 05:03 1.0K
coq_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 08:06 8.6M
coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 08:07 8.1M
coq_8.1.pl3+dfsg.orig.tar.gz 08-Jan-2008 05:03 2.4M
coq_8.2.pl1+dfsg-6.diff.gz 28-Feb-2010 00:04 15K
coq_8.2.pl1+dfsg-6.dsc 28-Feb-2010 00:04 2.2K
coq_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 15M
coq_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 13M
coq_8.2.pl1+dfsg.orig.tar.gz 29-Jul-2009 03:13 3.0M
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 19-Sep-2010 02:05 17K
coq_8.2.pl2+dfsg-1ubuntu1.dsc 19-Sep-2010 02:05 1.5K
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 14M
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 13M
coq_8.2.pl2+dfsg.orig.tar.gz 28-Jul-2010 03:05 3.0M
coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 13:04 16K
coq_8.3.pl2+dfsg-1build1.dsc 25-Aug-2011 13:04 1.5K
coq_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.3M
coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 4.7M
coq_8.3.pl2+dfsg.orig.tar.gz 19-May-2011 23:05 3.0M
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 18:33 16K
coq_8.3.pl4+dfsg-1.dsc 03-Apr-2012 18:33 2.3K
coq_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.3M
coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 4.7M
coq_8.3.pl4+dfsg-2.debian.tar.gz 08-Jun-2012 22:36 16K
coq_8.3.pl4+dfsg-2.dsc 08-Jun-2012 22:36 2.3K
coq_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.3M
coq_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 4.7M
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 18:33 3.0M
coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 08:06 5.0M
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 08:07 4.7M
coqide_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 6.2M
coqide_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 5.7M
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 6.1M
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 5.6M
coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.2M
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 4.9M
coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.2M
coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 4.9M
coqide_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.2M
coqide_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 4.9M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 5.8M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 5.6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 5.7M
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 5.6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 5.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 5.5M
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 1.9M
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 1.7M
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 1.9M
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 1.7M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 1.9M
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 1.7M
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80