Index of /ubuntu/pool/universe/c/coq/
../
coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 00:07 12593878
coq-theories_8.2.pl1+dfsg-6_all.deb 27-Feb-2010 17:04 18108438
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 18-Sep-2010 19:04 18375166
coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 05:04 52901370
coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 11:04 54258222
coq-theories_8.3.pl4+dfsg-2_all.deb 08-Jun-2012 18:04 54375698
coq_8.1.pl3+dfsg-1.diff.gz 07-Jan-2008 21:03 15578
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 9021050
coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 8451650
coq_8.1.pl3+dfsg.orig.tar.gz 07-Jan-2008 21:03 2534628
coq_8.2.pl1+dfsg-6.diff.gz 27-Feb-2010 16:04 15684
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 15338102
coq_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 13698864
coq_8.2.pl1+dfsg.orig.tar.gz 28-Jul-2009 19:13 3142201
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 18-Sep-2010 18:05 17307
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 15100204
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 13469956
coq_8.2.pl2+dfsg.orig.tar.gz 27-Jul-2010 19:05 3142575
coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 05:04 16531
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 5556112
coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 4952978
coq_8.3.pl2+dfsg.orig.tar.gz 19-May-2011 15:05 3147573
coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 10:33 16320
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 5563182
coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 4963506
coq_8.3.pl4+dfsg-2.debian.tar.gz 08-Jun-2012 14:36 16306
coq_8.3.pl4+dfsg-2.dsc 08-Jun-2012 14:36 2343
coq_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5575862
coq_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 4968608
coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 10:33 3154721
coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 00:06 5222074
coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 00:07 4920022
coqide_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6544758
coqide_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 6019318
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6425022
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 5898780
coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5483720
coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5088408
coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5487638
coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5098422
coqide_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5488336
coqide_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5104178
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 27-Feb-2010 17:04 6039120
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 27-Feb-2010 17:04 5884584
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 18-Sep-2010 19:04 6024488
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 18-Sep-2010 19:05 5902968
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 5873544
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 5698876
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 5842704
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 5745580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 5874802
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 5748142
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 05:04 2017932
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 05:05 1780624
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 11:34 2028268
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 11:04 1782008
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 08-Jun-2012 21:03 2029992
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 08-Jun-2012 18:04 1783864