Index of /Debian/pool/main/c/coq
Name
Last modified
Size
Parent Directory
-
libcoq-ocaml_8.9.0-1_i386.deb
06-Feb-2019 20:21
4.9M
libcoq-ocaml_8.9.0-1_amd64.deb
06-Feb-2019 18:49
5.2M
libcoq-ocaml_8.9.0-1+b2_i386.deb
05-Aug-2019 17:14
5.0M
libcoq-ocaml_8.9.0-1+b2_amd64.deb
05-Aug-2019 17:29
5.3M
libcoq-ocaml_8.9.0-1+b1_i386.deb
29-Jul-2019 09:38
5.0M
libcoq-ocaml_8.9.0-1+b1_amd64.deb
29-Jul-2019 09:58
5.3M
libcoq-ocaml_8.6-4_i386.deb
30-Dec-2016 01:57
3.2M
libcoq-ocaml_8.6-4_amd64.deb
30-Dec-2016 00:56
3.3M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb
27-Jul-2014 17:57
1.4M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
27-Jul-2014 16:26
1.6M
libcoq-ocaml-dev_8.9.0-1_i386.deb
06-Feb-2019 20:21
13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb
06-Feb-2019 18:49
13M
libcoq-ocaml-dev_8.9.0-1+b2_i386.deb
05-Aug-2019 17:14
13M
libcoq-ocaml-dev_8.9.0-1+b2_amd64.deb
05-Aug-2019 17:29
13M
libcoq-ocaml-dev_8.9.0-1+b1_i386.deb
29-Jul-2019 09:38
13M
libcoq-ocaml-dev_8.9.0-1+b1_amd64.deb
29-Jul-2019 09:58
13M
libcoq-ocaml-dev_8.6-4_i386.deb
30-Dec-2016 01:57
13M
libcoq-ocaml-dev_8.6-4_amd64.deb
30-Dec-2016 00:56
13M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb
27-Jul-2014 17:57
3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
27-Jul-2014 16:26
3.6M
coqide_8.6-4_i386.deb
30-Dec-2016 01:57
1.3M
coqide_8.6-4_amd64.deb
30-Dec-2016 00:56
1.3M
coqide_8.4pl4dfsg-1_i386.deb
27-Jul-2014 17:57
714K
coqide_8.4pl4dfsg-1_amd64.deb
27-Jul-2014 16:26
779K
coq_8.9.0.orig.tar.gz
06-Feb-2019 18:49
5.1M
coq_8.9.0-1_i386.deb
06-Feb-2019 20:21
54M
coq_8.9.0-1_amd64.deb
06-Feb-2019 18:49
56M
coq_8.9.0-1.dsc
06-Feb-2019 18:49
2.4K
coq_8.9.0-1.debian.tar.xz
06-Feb-2019 18:49
27K
coq_8.9.0-1+b2_i386.deb
05-Aug-2019 17:14
54M
coq_8.9.0-1+b2_amd64.deb
05-Aug-2019 17:29
56M
coq_8.9.0-1+b1_i386.deb
29-Jul-2019 09:38
54M
coq_8.9.0-1+b1_amd64.deb
29-Jul-2019 09:58
56M
coq_8.6.orig.tar.gz
28-Dec-2016 13:44
4.8M
coq_8.6-4_i386.deb
30-Dec-2016 01:57
13M
coq_8.6-4_amd64.deb
30-Dec-2016 00:56
13M
coq_8.6-4.dsc
30-Dec-2016 00:56
2.3K
coq_8.6-4.debian.tar.xz
30-Dec-2016 00:56
21K
coq_8.4pl4dfsg.orig.tar.gz
27-Jul-2014 16:26
3.4M
coq_8.4pl4dfsg-1_i386.deb
27-Jul-2014 17:57
3.6M
coq_8.4pl4dfsg-1_amd64.deb
27-Jul-2014 16:26
3.9M
coq_8.4pl4dfsg-1.dsc
27-Jul-2014 16:26
2.3K
coq_8.4pl4dfsg-1.debian.tar.xz
27-Jul-2014 16:26
15K
coq-theories_8.9.0-1_i386.deb
06-Feb-2019 20:21
27M
coq-theories_8.9.0-1_amd64.deb
06-Feb-2019 18:49
28M
coq-theories_8.9.0-1+b2_i386.deb
05-Aug-2019 17:14
27M
coq-theories_8.9.0-1+b2_amd64.deb
05-Aug-2019 17:29
28M
coq-theories_8.9.0-1+b1_i386.deb
29-Jul-2019 09:38
27M
coq-theories_8.9.0-1+b1_amd64.deb
29-Jul-2019 09:58
28M
coq-theories_8.6-4_i386.deb
30-Dec-2016 01:57
29M
coq-theories_8.6-4_amd64.deb
30-Dec-2016 00:56
30M
coq-theories_8.4pl4dfsg-1_all.deb
27-Jul-2014 16:26
31M