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

../
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 23:58            31970270
coq_8.4pl3dfsg-1_amd64.deb                         19-Jan-2014 23:58             4040156
coqide_8.4pl3dfsg-1_amd64.deb                      19-Jan-2014 23:58              744612
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            19-Jan-2014 23:58             3664528
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                19-Jan-2014 23:58             1585458