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

Name Last Modified Size Type
Parent Directory  Directory
coq-libs_8.1.pl3+dfsg-1_all.deb2008-Jan-07 19:07:0212M application/octet-stream
coq-theories_8.2.pl1+dfsg-6_all.deb2010-Feb-27 12:04:4817.3M application/octet-stream
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb2010-Sep-18 15:04:4417.5M 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_8.1.pl3+dfsg-1.diff.gz2008-Jan-07 16:03:5715.2K application/x-gzip
coq_8.1.pl3+dfsg-1.dsc2008-Jan-07 16:03:571K application/octet-stream
coq_8.1.pl3+dfsg-1_amd64.deb2008-Jan-07 19:06:558.6M application/octet-stream
coq_8.1.pl3+dfsg-1_i386.deb2008-Jan-07 19:07:178.1M application/octet-stream
coq_8.1.pl3+dfsg.orig.tar.gz2008-Jan-07 16:03:572.4M application/x-gzip
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.2.pl2+dfsg-1ubuntu1.debian.tar.gz2010-Sep-18 14:05:0016.9K application/x-gzip
coq_8.2.pl2+dfsg-1ubuntu1.dsc2010-Sep-18 14:05:001.5K application/octet-stream
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-Sep-18 15:04:5914.4M application/octet-stream
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-Sep-18 15:05:0412.8M application/octet-stream
coq_8.2.pl2+dfsg.orig.tar.gz2010-Jul-27 15:05:093M 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
coqide_8.1.pl3+dfsg-1_amd64.deb2008-Jan-07 19:06:555M application/octet-stream
coqide_8.1.pl3+dfsg-1_i386.deb2008-Jan-07 19:07:164.7M application/octet-stream
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.2.pl2+dfsg-1ubuntu1_amd64.deb2010-Sep-18 15:04:586.1M application/octet-stream
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-Sep-18 15:05:035.6M 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
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.2.pl2+dfsg-1ubuntu1_amd64.deb2010-Sep-18 15:04:585.7M application/octet-stream
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-Sep-18 15:05:035.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_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