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.pl4+dfsg-1_all.deb2012-Apr-03 07:04:0251.7M 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.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.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.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.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.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.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.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.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