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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]coq_8.9.0-1.dsc06-Feb-2019 18:49 2.4K  Details
[   ]coq_8.12.0-3.dsc10-Sep-2020 06:38 2.4K  Details
[   ]coq_8.18.0+dfsg-1.dsc21-Dec-2023 13:58 2.5K  Details
[   ]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.18.0+dfsg-1.debian.tar.xz21-Dec-2023 13:58 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
[   ]coqide_8.18.0+dfsg-1_armhf.deb23-Jan-2024 10:08 1.7M  Details
[   ]coq_8.16.1+dfsg.orig.tar.xz29-Nov-2022 08:35 4.5M  Details
[   ]coq_8.18.0+dfsg.orig.tar.xz21-Dec-2023 13:58 4.6M  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.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
[   ]libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb23-Jan-2024 10:08 22M  Details
[   ]libcoq-stdlib_8.18.0+dfsg-1_armhf.deb23-Jan-2024 10:08 22M  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
[   ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb23-Jan-2024 10:08 43M  Details
[   ]coq_8.9.0-1_armhf.deb25-Feb-2019 10:08 53M  Details
[   ]coq_8.18.0+dfsg-1_armhf.deb23-Jan-2024 10:08 73M  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.38 (Debian) Server at mirrordirector.raspbian.org Port 80

MirrorBrain powered by Apache