Index of /professional/pool/main/c/coq/
../
coq-theories_8.5-2_amd64.deb 29-Jan-2016 00:58 31M
coq-theories_8.5-2_i386.deb 29-Jan-2016 02:34 30M
coq-theories_8.6-4_amd64.deb 30-Dec-2016 08:56 30M
coq-theories_8.6-4_i386.deb 30-Dec-2016 09:57 29M
coq_8.5-2.debian.tar.xz 29-Jan-2016 00:58 16K
coq_8.5-2.dsc 29-Jan-2016 00:58 2396
coq_8.5-2_amd64.deb 29-Jan-2016 00:58 12M
coq_8.5-2_i386.deb 29-Jan-2016 02:34 12M
coq_8.5.orig.tar.gz 27-Jan-2016 00:43 5M
coq_8.6-4.debian.tar.xz 30-Dec-2016 08:56 21K
coq_8.6-4.dsc 30-Dec-2016 08:56 2396
coq_8.6-4_amd64.deb 30-Dec-2016 08:56 13M
coq_8.6-4_i386.deb 30-Dec-2016 09:57 13M
coq_8.6.orig.tar.gz 28-Dec-2016 21:44 5M
coqide_8.5-2_amd64.deb 29-Jan-2016 00:58 1M
coqide_8.5-2_i386.deb 29-Jan-2016 02:34 1M
coqide_8.6-4_amd64.deb 30-Dec-2016 08:56 1M
coqide_8.6-4_i386.deb 30-Dec-2016 09:57 1M
libcoq-ocaml-dev_8.5-2_amd64.deb 29-Jan-2016 00:58 13M
libcoq-ocaml-dev_8.5-2_i386.deb 29-Jan-2016 02:34 13M
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 08:56 13M
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 09:57 13M
libcoq-ocaml_8.5-2_amd64.deb 29-Jan-2016 00:58 3M
libcoq-ocaml_8.5-2_i386.deb 29-Jan-2016 02:34 3M
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 08:56 3M
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 09:57 3M