Index of /repo_desktop_1.5/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
coq_8.4pl3dfsg-1_i386.deb                          19-Jan-2014 23:58             3746098
coqide_8.4pl3dfsg-1_amd64.deb                      19-Jan-2014 23:58              744612
coqide_8.4pl3dfsg-1_i386.deb                       19-Jan-2014 23:58              677516
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            19-Jan-2014 23:58             3664528
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb             19-Jan-2014 23:58             3649360
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                19-Jan-2014 23:58             1585458
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                 19-Jan-2014 23:58             1434144