Index of /raspbian/pool/main/c/coq

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[TXT]coq_8.19.1+dfsg-3.dsc03-Aug-2024 07:53 2.3K  Details
[TXT]coq_8.9.0-1.dsc06-Feb-2019 18:49 2.4K  Details
[TXT]coq_8.12.0-3.dsc10-Sep-2020 06:38 2.4K  Details
[TXT]coq_8.16.1+dfsg-1.dsc29-Nov-2022 08:35 2.6K  Details
[   ]coq_8.9.0-1.debian.tar.xz06-Feb-2019 18:49 27K  Details
[   ]coq_8.19.1+dfsg-3.debian.tar.xz03-Aug-2024 07:53 32K  Details
[   ]coq_8.16.1+dfsg-1.debian.tar.xz29-Nov-2022 08:35 32K  Details
[   ]coq_8.12.0-3.debian.tar.xz10-Sep-2020 06:38 37K  Details
[   ]coqide_8.12.0-3+b2_armhf.deb03-Dec-2020 17:49 1.6M  Details
[   ]coqide_8.16.1+dfsg-1+b2_armhf.deb20-May-2023 16:08 1.7M  Details
[   ]coq_8.16.1+dfsg.orig.tar.xz29-Nov-2022 08:35 4.5M  Details
[   ]libcoq-ocaml_8.9.0-1_armhf.deb25-Feb-2019 10:08 5.1M  Details
[   ]coq_8.9.0.orig.tar.gz06-Feb-2019 18:49 5.1M  Details
[   ]coq_8.19.1+dfsg.orig.tar.bz226-Apr-2024 13:46 5.3M  Details
[   ]coq_8.12.0.orig.tar.gz22-Aug-2020 09:26 5.7M  Details
[   ]libcoq-ocaml_8.12.0-3+b2_armhf.deb03-Dec-2020 17:49 7.3M  Details
[   ]libcoq-ocaml-dev_8.9.0-1_armhf.deb25-Feb-2019 10:08 14M  Details
[   ]libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb03-Dec-2020 17:49 18M  Details
[   ]coq-theories_8.9.0-1_armhf.deb25-Feb-2019 10:08 19M  Details
[   ]libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb20-May-2023 16:08 21M  Details
[   ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb20-May-2023 16:08 21M  Details
[   ]coq-theories_8.12.0-3+b2_armhf.deb03-Dec-2020 17:49 23M  Details
[   ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb20-May-2023 16:08 41M  Details
[   ]coq_8.9.0-1_armhf.deb25-Feb-2019 10:08 53M  Details
[   ]coq_8.12.0-3+b2_armhf.deb03-Dec-2020 17:49 82M  Details
[   ]coq_8.16.1+dfsg-1+b2_armhf.deb20-May-2023 16:08 83M  Details

Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.com Port 80

MirrorBrain powered by Apache