Index of /deepin-server/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  27-Jul-2014 23:26     31M
coq_8.4pl4dfsg-1.debian.tar.xz                     27-Jul-2014 23:26     15K
coq_8.4pl4dfsg-1.dsc                               27-Jul-2014 23:26    2374
coq_8.4pl4dfsg-1_amd64.deb                         27-Jul-2014 23:26      4M
coq_8.4pl4dfsg-1_i386.deb                          28-Jul-2014 00:57      4M
coq_8.4pl4dfsg.orig.tar.gz                         27-Jul-2014 23:26      3M
coqide_8.4pl4dfsg-1_amd64.deb                      27-Jul-2014 23:26    779K
coqide_8.4pl4dfsg-1_i386.deb                       28-Jul-2014 00:57    714K
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            27-Jul-2014 23:26      4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             28-Jul-2014 00:57      4M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                27-Jul-2014 23:26      2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 28-Jul-2014 00:57      1M