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

../
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 23:58            31970270
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 14:04            32236078
coq_8.4pl3dfsg-1_amd64.deb                         19-Jan-2014 23:58             4040156
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 14:04             3993698
coqide_8.4pl3dfsg-1_amd64.deb                      19-Jan-2014 23:58              744612
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 14:04              748916
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            19-Jan-2014 23:58             3664528
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 14:04             3670362
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                19-Jan-2014 23:58             1585458
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 14:04             1503766