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

../
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 14:04            32236078
coq_8.4pl4dfsg-3build2.debian.tar.xz               04-Nov-2015 13:14               16144
coq_8.4pl4dfsg-3build2.dsc                         04-Nov-2015 13:14                2398
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 14:04             3993698
coq_8.4pl4dfsg.orig.tar.gz                         27-Jul-2014 23:13             3527076
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 14:04              748916
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 14:04             3670362
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 14:04             1503766