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.

Index of /ubuntu-ports/pool/universe/c/coqprime/

../
coqprime-tools_8.15-2build2_arm64.deb              17-Feb-2023 07:29              179078
coqprime-tools_8.15-2build2_armhf.deb              17-Feb-2023 07:29              177742
coqprime-tools_8.17-1build1_arm64.deb              26-Jul-2023 07:55              179202
coqprime-tools_8.17-1build1_armhf.deb              26-Jul-2023 07:55              177658
coqprime-tools_8.18-1build3_arm64.deb              08-Apr-2024 13:14              181354
coqprime-tools_8.18-1build3_armhf.deb              08-Apr-2024 13:15              179938
coqprime-tools_8.19-1build2_arm64.deb              15-Jun-2024 16:49              178732
coqprime-tools_8.19-1build2_armhf.deb              15-Jun-2024 16:49              176800
coqprime_8.15-2build2.debian.tar.xz                17-Feb-2023 07:29                3660
coqprime_8.15-2build2.dsc                          17-Feb-2023 07:29                2148
coqprime_8.15.orig.tar.gz                          18-Jul-2022 23:48              987167
coqprime_8.17-1build1.debian.tar.xz                26-Jul-2023 05:19                3212
coqprime_8.17-1build1.dsc                          26-Jul-2023 05:19                2148
coqprime_8.17.orig.tar.gz                          13-Jun-2023 11:34              996033
coqprime_8.18-1build3.debian.tar.xz                08-Apr-2024 07:57                3492
coqprime_8.18-1build3.dsc                          08-Apr-2024 07:57                2227
coqprime_8.18.orig.tar.gz                          23-Dec-2023 17:16              996567
coqprime_8.19-1build2.debian.tar.xz                15-Jun-2024 14:43                3388
coqprime_8.19-1build2.dsc                          15-Jun-2024 14:43                2148
coqprime_8.19.orig.tar.gz                          03-May-2024 01:55              996563
libcoq-coqprime_8.15-2build2_arm64.deb             17-Feb-2023 07:29             1908810
libcoq-coqprime_8.15-2build2_armhf.deb             17-Feb-2023 07:29             1908602
libcoq-coqprime_8.17-1build1_arm64.deb             26-Jul-2023 07:55             2029412
libcoq-coqprime_8.17-1build1_armhf.deb             26-Jul-2023 07:55             2029106
libcoq-coqprime_8.18-1build3_arm64.deb             08-Apr-2024 13:14             2021442
libcoq-coqprime_8.18-1build3_armhf.deb             08-Apr-2024 13:15             2023344
libcoq-coqprime_8.19-1build2_arm64.deb             15-Jun-2024 16:49             2072848
libcoq-coqprime_8.19-1build2_armhf.deb             15-Jun-2024 16:49             2074866

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.