The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 06:56 3412 coq-elpi_1.16.0-2.dsc 25-Jan-2023 06:56 2030 coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 15:35 426223 coq-elpi_2.5.0-1.1.debian.tar.xz 17-Jun-2025 07:00 3900 coq-elpi_2.5.0-1.1.dsc 17-Jun-2025 07:00 2050 coq-elpi_2.5.0.orig.tar.gz 18-Mar-2025 12:33 745968 coq-elpi_3.5.0-3.debian.tar.xz 11-Aug-2026 05:21 5712 coq-elpi_3.5.0-3.dsc 11-Aug-2026 05:21 2147 coq-elpi_3.5.0.orig.tar.gz 28-Jul-2026 09:29 1132542 coq-elpi_3.5.1-1.debian.tar.xz 26-Oct-2026 09:21 7476 coq-elpi_3.5.1-1.dsc 26-Oct-2026 09:21 1903 coq-elpi_3.5.1.orig.tar.gz 26-Oct-2026 09:21 1144422 libcoq-elpi_1.16.0-2+b1_amd64.deb 14-Feb-2023 09:59 2428696 libcoq-elpi_1.16.0-2+b1_arm64.deb 14-Feb-2023 09:59 2513016 libcoq-elpi_1.16.0-2+b1_i386.deb 14-Feb-2023 09:49 2354456 libcoq-elpi_2.5.0-1.1_amd64.deb 17-Jun-2025 07:16 12299728 libcoq-elpi_2.5.0-1.1_arm64.deb 17-Jun-2025 07:21 12779040 libcoq-elpi_3.5.1-1_amd64.deb 26-Oct-2026 09:57 13040124 libcoq-elpi_3.5.1-1_arm64.deb 26-Oct-2026 09:47 13582512
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.