Index of /raspbian/pool/main/c/coq
Name
Last modified
Size
Description
Metadata
Parent Directory
-
coq_8.19.1+dfsg-3.dsc
03-Aug-2024 07:53
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.16.1+dfsg-1.dsc
29-Nov-2022 08:35
2.6K
Details
coq_8.9.0-1.debian.tar.xz
06-Feb-2019 18:49
27K
Details
coq_8.19.1+dfsg-3.debian.tar.xz
03-Aug-2024 07:53
32K
Details
coq_8.16.1+dfsg-1.debian.tar.xz
29-Nov-2022 08:35
32K
Details
coq_8.12.0-3.debian.tar.xz
10-Sep-2020 06:38
37K
Details
coqide_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
1.6M
Details
coqide_8.16.1+dfsg-1+b2_armhf.deb
20-May-2023 16:08
1.7M
Details
coq_8.16.1+dfsg.orig.tar.xz
29-Nov-2022 08:35
4.5M
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.19.1+dfsg.orig.tar.bz2
26-Apr-2024 13:46
5.3M
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
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
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
20-May-2023 16:08
21M
Details
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
20-May-2023 16:08
21M
Details
coq-theories_8.12.0-3+b2_armhf.deb
03-Dec-2020 17:49
23M
Details
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
20-May-2023 16:08
41M
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
coq_8.16.1+dfsg-1+b2_armhf.deb
20-May-2023 16:08
83M
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.com Port 80
MirrorBrain
powered by
Apache