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 /debian/pool/main/c/coqprime/

../
coqprime-tools_8.15-2+b1_amd64.deb                 13-Feb-2023 07:44              135484
coqprime-tools_8.15-2+b1_arm64.deb                 13-Feb-2023 07:44              133844
coqprime-tools_8.15-2+b1_i386.deb                  13-Feb-2023 07:44              136856
coqprime-tools_8.20.1-1+b4_amd64.deb               15-Jun-2025 11:20              143284
coqprime-tools_8.20.1-1+b4_arm64.deb               15-Jun-2025 11:20              141964
coqprime-tools_8.20.1-1+b7_amd64.deb               20-Jun-2026 15:05              145348
coqprime-tools_8.20.1-1+b7_arm64.deb               20-Jun-2026 15:00              143952
coqprime-tools_8.20.1-5_amd64.deb                  28-Jul-2026 16:39              145336
coqprime-tools_8.20.1-5_arm64.deb                  28-Jul-2026 17:05              143856
coqprime_8.15-2.debian.tar.xz                      26-Jan-2023 12:44                3576
coqprime_8.15-2.dsc                                26-Jan-2023 12:44                2149
coqprime_8.15.orig.tar.gz                          15-Jul-2022 08:46              987167
coqprime_8.20.1-1.debian.tar.xz                    23-Jan-2025 22:02                3468
coqprime_8.20.1-1.dsc                              23-Jan-2025 22:02                2178
coqprime_8.20.1-4.debian.tar.xz                    10-Jul-2026 17:29                3900
coqprime_8.20.1-4.dsc                              10-Jul-2026 17:29                2185
coqprime_8.20.1-5.debian.tar.xz                    28-Jul-2026 16:39                3920
coqprime_8.20.1-5.dsc                              28-Jul-2026 16:39                2185
coqprime_8.20.1.orig.tar.gz                        23-Jan-2025 22:02              996557
libcoq-coqprime_8.15-2+b1_amd64.deb                13-Feb-2023 07:44             1652620
libcoq-coqprime_8.15-2+b1_arm64.deb                13-Feb-2023 07:44             1652468
libcoq-coqprime_8.15-2+b1_i386.deb                 13-Feb-2023 07:44             1652532
libcoq-coqprime_8.20.1-1+b4_amd64.deb              15-Jun-2025 11:20             1778836
libcoq-coqprime_8.20.1-1+b4_arm64.deb              15-Jun-2025 11:20             1779052
libcoq-coqprime_8.20.1-1+b7_amd64.deb              20-Jun-2026 15:05             1779180
libcoq-coqprime_8.20.1-1+b7_arm64.deb              20-Jun-2026 15:00             1778520
libcoq-coqprime_8.20.1-5_amd64.deb                 28-Jul-2026 16:39             1770896
libcoq-coqprime_8.20.1-5_arm64.deb                 28-Jul-2026 17:05             1770268

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.