Index of /ubuntu-old/pool/universe/c/coq/
../
coq-libs_8.0pl1-5_i386.deb 14-Dec-2004 17:20 4M
coq-libs_8.0pl2-2_all.deb 14-Apr-2005 10:10 4M
coq-libs_8.0pl2-4_all.deb 18-Dec-2005 19:10 4M
coq-libs_8.0pl3-2_all.deb 13-Jul-2006 16:10 4M
coq-libs_8.0pl3-2ubuntu1_all.deb 23-Mar-2007 14:03 4M
coq-libs_8.1+dfsg-6_all.deb 11-Jul-2007 15:03 14M
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 00:07 12M
coq-libs_8.1.pl3+dfsg-1build1_all.deb 27-May-2008 14:04 12M
coq-theories_8.2.pl1+dfsg-2_all.deb 28-Jul-2009 19:13 17M
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-2_all.deb 08-Jun-2012 18:04 52M
coq-theories_8.4pl2dfsg-1_all.deb 09-May-2013 00:03 56M
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 23:53 31M
coq7-libs_8.0pl1-5_i386.deb 14-Dec-2004 17:20 4M
coq7-libs_8.0pl2-2_all.deb 14-Apr-2005 10:10 4M
coq7-libs_8.0pl2-4_all.deb 18-Dec-2005 19:10 4M
coq7-libs_8.0pl3-2_all.deb 13-Jul-2006 16:10 4M
coq7-libs_8.0pl3-2ubuntu1_all.deb 23-Mar-2007 14:03 4M
coq_7.3.1-3.diff.gz 26-Jul-2004 23:43 8521
coq_7.3.1-3.dsc 26-Jul-2004 23:43 799
coq_7.3.1-3_i386.deb 13-Aug-2004 11:15 7M
coq_7.3.1.orig.tar.gz 26-Jul-2004 23:43 1M
coq_8.0pl1-5.diff.gz 14-Dec-2004 03:18 11K
coq_8.0pl1-5.dsc 14-Dec-2004 03:18 941
coq_8.0pl1-5_i386.deb 14-Dec-2004 17:20 6M
coq_8.0pl1.orig.tar.gz 25-Oct-2004 20:02 2M
coq_8.0pl2-2.diff.gz 13-Apr-2005 14:09 11K
coq_8.0pl2-2.dsc 13-Apr-2005 14:09 919
coq_8.0pl2-2_i386.deb 14-Apr-2005 10:10 6M
coq_8.0pl2-4.diff.gz 23-Nov-2005 15:20 12K
coq_8.0pl2-4.dsc 23-Nov-2005 15:20 882
coq_8.0pl2-4_i386.deb 18-Dec-2005 19:10 6M
coq_8.0pl2.orig.tar.gz 13-Apr-2005 14:09 2M
coq_8.0pl3-2.diff.gz 15-Jun-2006 17:59 16K
coq_8.0pl3-2.dsc 15-Jun-2006 17:59 891
coq_8.0pl3-2_i386.deb 13-Jul-2006 16:10 6M
coq_8.0pl3-2ubuntu1.diff.gz 23-Mar-2007 12:03 16K
coq_8.0pl3-2ubuntu1.dsc 23-Mar-2007 12:03 1103
coq_8.0pl3-2ubuntu1_i386.deb 23-Mar-2007 14:03 6M
coq_8.0pl3.orig.tar.gz 15-Jun-2006 17:59 2M
coq_8.1+dfsg-6.diff.gz 11-Jul-2007 13:03 14K
coq_8.1+dfsg-6.dsc 11-Jul-2007 13:03 1079
coq_8.1+dfsg-6_i386.deb 11-Jul-2007 15:03 7M
coq_8.1+dfsg.orig.tar.gz 03-May-2007 11:05 2M
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_i386.deb 08-Jan-2008 00:07 8M
coq_8.1.pl3+dfsg-1build1.diff.gz 27-May-2008 14:04 15K
coq_8.1.pl3+dfsg-1build1.dsc 27-May-2008 14:04 925
coq_8.1.pl3+dfsg-1build1_i386.deb 27-May-2008 14:04 8M
coq_8.1.pl3+dfsg.orig.tar.gz 07-Jan-2008 21:03 2M
coq_8.2.pl1+dfsg-2.diff.gz 28-Jul-2009 19:13 14K
coq_8.2.pl1+dfsg-2.dsc 28-Jul-2009 19:13 1607
coq_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 13M
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_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_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_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-2.debian.tar.gz 08-Jun-2012 14:36 16K
coq_8.3.pl4+dfsg-2.dsc 08-Jun-2012 14:36 2343
coq_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5M
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 10:33 3M
coq_8.4pl2dfsg-1.debian.tar.gz 08-May-2013 23:33 17K
coq_8.4pl2dfsg-1.dsc 08-May-2013 23:33 2344
coq_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 5M
coq_8.4pl2dfsg.orig.tar.gz 08-May-2013 23:33 3M
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 23:13 15K
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 23:13 2374
coq_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 1M
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 4M
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 23:13 3M
coqide_8.0pl1-5_i386.deb 14-Dec-2004 17:20 4M
coqide_8.0pl2-2_i386.deb 14-Apr-2005 10:10 4M
coqide_8.0pl2-4_i386.deb 18-Dec-2005 19:10 4M
coqide_8.0pl3-2_i386.deb 13-Jul-2006 16:10 3M
coqide_8.0pl3-2ubuntu1_i386.deb 23-Mar-2007 14:03 3M
coqide_8.1+dfsg-6_i386.deb 11-Jul-2007 15:03 4M
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 5M
coqide_8.1.pl3+dfsg-1build1_i386.deb 27-May-2008 14:04 5M
coqide_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 6M
coqide_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 6M
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 6M
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5M
coqide_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5M
coqide_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 766K
coqide_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 198K
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 662K
libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb 28-Jul-2009 19:13 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_i386.deb 18-Sep-2010 19:05 6M
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5M
libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 5M
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 1M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 4M
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 2M
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 2M
libcoq-ocaml_8.4pl2dfsg-1_i386.deb 09-May-2013 00:03 2M
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 28-Jul-2014 02:58 322K
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 23:53 1M