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

Name Last Modified Size Type
Parent Directory  Directory
coq-theories_8.3.pl4+dfsg-1_all.deb2012-Apr-03 07:04:0251.7M application/octet-stream
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-19 18:58:4330.5M application/octet-stream
coq-theories_8.4pl4dfsg-1_all.deb2014-Jul-27 19:53:4130.5M application/octet-stream
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 09:04:3330.7M application/octet-stream
coq-theories_8.5-2build1_amd64.deb2016-Jun-11 12:14:2231.3M application/octet-stream
coq-theories_8.5-2build1_i386.deb2016-Jun-11 12:15:0430.3M application/octet-stream
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.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
coq_8.4pl4dfsg-1.debian.tar.xz2014-Jul-27 19:13:1715.3K application/octet-stream
coq_8.4pl4dfsg-1.dsc2014-Jul-27 19:13:172.3K application/octet-stream
coq_8.4pl4dfsg-1_amd64.deb2014-Jul-27 19:53:353.9M application/octet-stream
coq_8.4pl4dfsg-1_i386.deb2014-Jul-27 19:53:463.6M application/octet-stream
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 08:14:2115.8K application/octet-stream
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 08:14:212.3K application/octet-stream
coq_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 09:04:343.8M application/octet-stream
coq_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 08:39:443.6M application/octet-stream
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-27 19:13:173.4M application/x-gzip
coq_8.5-2build1.debian.tar.xz2016-Jun-11 11:14:0216.4K application/octet-stream
coq_8.5-2build1.dsc2016-Jun-11 11:13:592.4K application/octet-stream
coq_8.5-2build1_amd64.deb2016-Jun-11 12:14:2212.9M application/octet-stream
coq_8.5-2build1_i386.deb2016-Jun-11 12:15:0412M application/octet-stream
coq_8.5.orig.tar.gz2016-Jan-26 18:09:334.6M application/x-gzip
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.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
coqide_8.4pl4dfsg-1_amd64.deb2014-Jul-27 19:53:34726.4K application/octet-stream
coqide_8.4pl4dfsg-1_i386.deb2014-Jul-27 19:53:46662.1K application/octet-stream
coqide_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 09:04:31731.4K application/octet-stream
coqide_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 08:39:44694.9K application/octet-stream
coqide_8.5-2build1_amd64.deb2016-Jun-11 12:14:201.2M application/octet-stream
coqide_8.5-2build1_i386.deb2016-Jun-11 12:15:061002.9K 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.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-dev_8.4pl4dfsg-1_amd64.deb2014-Jul-27 19:53:353.6M application/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-Jul-27 19:53:453.5M application/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 09:04:323.5M application/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 08:39:453.6M application/octet-stream
libcoq-ocaml-dev_8.5-2build1_amd64.deb2016-Jun-11 12:14:2112.7M application/octet-stream
libcoq-ocaml-dev_8.5-2build1_i386.deb2016-Jun-11 12:15:0312.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.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
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-Jul-27 19:53:351.5M application/octet-stream
libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-Jul-27 19:53:451.4M application/octet-stream
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 09:04:311.4M application/octet-stream
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 08:39:441.3M application/octet-stream
libcoq-ocaml_8.5-2build1_amd64.deb2016-Jun-11 12:14:233.2M application/octet-stream
libcoq-ocaml_8.5-2build1_i386.deb2016-Jun-11 12:15:063.1M application/octet-stream