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

../
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 07:04            32236078
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 07:04             3993698
coq_8.4pl4dfsg-3build2_i386.deb                    04-Nov-2015 06:39             3746046
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 07:04              748916
coqide_8.4pl4dfsg-3build2_i386.deb                 04-Nov-2015 06:39              711626
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 07:04             3670362
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb       04-Nov-2015 06:39             3734144
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 07:04             1503766
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb           04-Nov-2015 06:39             1392144