Index of /ubuntu/pool/universe/c/coq/

Name Last Modified Size Type
Parent Directory  Directory
coq-theories_8.2.pl1+dfsg-6_all.deb2010-Feb-27 12:04:4817.3M application/octet-stream
coq-theories_8.3.pl2+dfsg-1build1_all.deb2011-Aug-25 01:04:5150.5M application/octet-stream
coq-theories_8.3.pl4+dfsg-1_all.deb2012-Apr-03 07:04:0251.7M application/octet-stream
coq-theories_8.3.pl4+dfsg-2_all.deb2012-Jun-08 14:04:2951.9M application/octet-stream
coq-theories_8.4pl2dfsg-1_all.deb2013-May-08 20:03:4556.1M application/octet-stream
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-19 18:58:4330.5M application/octet-stream
coq_8.2.pl1+dfsg-6.diff.gz2010-Feb-27 11:04:4315.3K application/x-gzip
coq_8.2.pl1+dfsg-6.dsc2010-Feb-27 11:04:432.2K application/octet-stream
coq_8.2.pl1+dfsg-6_amd64.deb2010-Feb-27 12:04:4914.6M application/octet-stream
coq_8.2.pl1+dfsg-6_i386.deb2010-Feb-27 12:04:5313.1M application/octet-stream
coq_8.2.pl1+dfsg.orig.tar.gz2009-Jul-28 15:13:033M application/x-gzip
coq_8.3.pl2+dfsg-1build1.debian.tar.gz2011-Aug-25 01:04:3216.1K application/x-gzip
coq_8.3.pl2+dfsg-1build1.dsc2011-Aug-25 01:04:321.5K application/octet-stream
coq_8.3.pl2+dfsg-1build1_amd64.deb2011-Aug-25 01:04:385.3M application/octet-stream
coq_8.3.pl2+dfsg-1build1_i386.deb2011-Aug-25 01:05:334.7M application/octet-stream
coq_8.3.pl2+dfsg.orig.tar.gz2011-May-19 11:05:213M application/x-gzip
coq_8.3.pl4+dfsg-1.debian.tar.gz2012-Apr-03 06:33:5415.9K application/x-gzip
coq_8.3.pl4+dfsg-1.dsc2012-Apr-03 06:33:552.3K application/octet-stream
coq_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 07:34:275.3M application/octet-stream
coq_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 07:04:214.7M application/octet-stream
coq_8.3.pl4+dfsg-2.debian.tar.gz2012-Jun-08 10:36:0715.9K application/x-gzip
coq_8.3.pl4+dfsg-2.dsc2012-Jun-08 10:36:072.3K application/octet-stream
coq_8.3.pl4+dfsg-2_amd64.deb2012-Jun-08 17:03:505.3M application/octet-stream
coq_8.3.pl4+dfsg-2_i386.deb2012-Jun-08 14:04:444.7M application/octet-stream
coq_8.3.pl4+dfsg.orig.tar.gz2012-Apr-03 06:33:543M application/x-gzip
coq_8.4pl2dfsg-1.debian.tar.gz2013-May-08 19:33:4417K application/x-gzip
coq_8.4pl2dfsg-1.dsc2013-May-08 19:33:442.3K application/octet-stream
coq_8.4pl2dfsg-1_amd64.deb2013-May-08 20:03:445.7M application/octet-stream
coq_8.4pl2dfsg-1_i386.deb2013-May-08 20:03:585M application/octet-stream
coq_8.4pl2dfsg.orig.tar.gz2013-May-08 19:33:443.4M application/x-gzip
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-19 18:18:5215.4K application/octet-stream
coq_8.4pl3dfsg-1.dsc2014-Jan-19 18:18:532.3K application/octet-stream
coq_8.4pl3dfsg-1_amd64.deb2014-Jan-19 18:58:453.9M application/octet-stream
coq_8.4pl3dfsg-1_i386.deb2014-Jan-19 18:58:553.6M application/octet-stream
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-19 18:18:533.4M application/x-gzip
coqide_8.2.pl1+dfsg-6_amd64.deb2010-Feb-27 12:04:496.2M application/octet-stream
coqide_8.2.pl1+dfsg-6_i386.deb2010-Feb-27 12:04:525.7M application/octet-stream
coqide_8.3.pl2+dfsg-1build1_amd64.deb2011-Aug-25 01:04:385.2M application/octet-stream
coqide_8.3.pl2+dfsg-1build1_i386.deb2011-Aug-25 01:05:324.9M application/octet-stream
coqide_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 07:34:275.2M application/octet-stream
coqide_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 07:04:204.9M application/octet-stream
coqide_8.3.pl4+dfsg-2_amd64.deb2012-Jun-08 17:03:505.2M application/octet-stream
coqide_8.3.pl4+dfsg-2_i386.deb2012-Jun-08 14:04:424.9M application/octet-stream
coqide_8.4pl2dfsg-1_amd64.deb2013-May-08 20:03:44973.3K application/octet-stream
coqide_8.4pl2dfsg-1_i386.deb2013-May-08 20:03:58766.3K application/octet-stream
coqide_8.4pl3dfsg-1_amd64.deb2014-Jan-19 18:58:45727.2K application/octet-stream
coqide_8.4pl3dfsg-1_i386.deb2014-Jan-19 18:58:54661.6K application/octet-stream
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb2010-Feb-27 12:04:485.8M application/octet-stream
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb2010-Feb-27 12:04:525.6M application/octet-stream
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb2011-Aug-25 01:04:375.6M application/octet-stream
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb2011-Aug-25 01:05:325.4M application/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 07:34:275.6M application/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 07:04:185.5M application/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-Jun-08 17:03:495.6M application/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-Jun-08 14:04:415.5M application/octet-stream
libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb2013-May-08 20:03:435.5M application/octet-stream
libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb2013-May-08 20:03:575.3M application/octet-stream
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-Jan-19 18:58:433.5M application/octet-stream
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-Jan-19 18:58:553.5M application/octet-stream
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb2011-Aug-25 01:04:381.9M application/octet-stream
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb2011-Aug-25 01:05:321.7M application/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 07:34:271.9M application/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 07:04:201.7M application/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-Jun-08 17:03:491.9M application/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-Jun-08 14:04:411.7M application/octet-stream
libcoq-ocaml_8.4pl2dfsg-1_amd64.deb2013-May-08 20:03:442.1M application/octet-stream
libcoq-ocaml_8.4pl2dfsg-1_i386.deb2013-May-08 20:03:571.8M application/octet-stream
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-Jan-19 18:58:431.5M application/octet-stream
libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-Jan-19 18:58:541.4M application/octet-stream