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.
../ libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 14-Feb-2023 10:29 229744 libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 14-Feb-2023 10:44 229664 libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 14-Feb-2023 10:29 229604 libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd6..> 17-Jun-2025 11:18 763116 libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_arm6..> 17-Jun-2025 11:38 763108 libcoq-mathcomp-algebra-tactics_1.2.7-5_amd64.deb 12-Aug-2026 13:22 950520 libcoq-mathcomp-algebra-tactics_1.2.7-5_arm64.deb 12-Aug-2026 13:17 950724 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz 10-Nov-2022 15:34 8704 mathcomp-algebra-tactics_1.0.0-8.dsc 10-Nov-2022 15:34 2282 mathcomp-algebra-tactics_1.0.0.orig.tar.gz 18-May-2022 07:28 37243 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 17-Feb-2025 16:42 9004 mathcomp-algebra-tactics_1.2.4-1.dsc 17-Feb-2025 16:42 2294 mathcomp-algebra-tactics_1.2.4.orig.tar.gz 17-Feb-2025 16:42 59063 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz 12-Aug-2026 13:02 9764 mathcomp-algebra-tactics_1.2.7-5.dsc 12-Aug-2026 13:02 2301 mathcomp-algebra-tactics_1.2.7.orig.tar.gz 29-Jul-2026 11:14 59382
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.