Index of /raspbian/pool/main/c/coq
Name
Last modified
Size
Description
Metadata
Parent Directory
-
coq_8.6-4.dsc
30-Dec-2016 00:56
2.3K
Details
coq_8.9.0-1.dsc
06-Feb-2019 18:49
2.4K
Details
coq_8.12.0-3.dsc
10-Sep-2020 06:38
2.4K
Details
coq_8.6-4.debian.tar.xz
30-Dec-2016 00:56
21K
Details
coq_8.9.0-1.debian.tar.xz
06-Feb-2019 18:49
27K
Details
coq_8.12.0-3.debian.tar.xz
10-Sep-2020 06:38
37K
Details
coqide_8.6-4_armhf.deb
17-Jan-2017 02:52
1.3M
Details
coqide_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
1.6M
Details
libcoq-ocaml_8.6-4_armhf.deb
17-Jan-2017 02:52
3.4M
Details
coq_8.6.orig.tar.gz
28-Dec-2016 13:44
4.8M
Details
libcoq-ocaml_8.9.0-1_armhf.deb
25-Feb-2019 10:08
5.1M
Details
coq_8.9.0.orig.tar.gz
06-Feb-2019 18:49
5.1M
Details
coq_8.12.0.orig.tar.gz
22-Aug-2020 09:26
5.7M
Details
libcoq-ocaml_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
7.3M
Details
coq_8.6-4_armhf.deb
17-Jan-2017 02:52
13M
Details
libcoq-ocaml-dev_8.6-4_armhf.deb
17-Jan-2017 02:52
13M
Details
libcoq-ocaml-dev_8.9.0-1_armhf.deb
25-Feb-2019 10:08
14M
Details
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
18M
Details
coq-theories_8.9.0-1_armhf.deb
25-Feb-2019 10:08
19M
Details
coq-theories_8.6-4_armhf.deb
17-Jan-2017 02:52
22M
Details
coq-theories_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
23M
Details
coq_8.9.0-1_armhf.deb
25-Feb-2019 10:08
53M
Details
coq_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
82M
Details
Apache/2.4.62 (Debian) Server at 5.153.225.207 Port 80
MirrorBrain
powered by
Apache