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