The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ libcoq-stdlib_9.1.0-2_amd64.deb 23-Jul-2026 07:55 23621768 libcoq-stdlib_9.1.0-2_arm64.deb 23-Jul-2026 07:56 23620372 libcoq-stdlib_9.2.0-1_amd64.deb 28-Jul-2026 00:31 23606458 libcoq-stdlib_9.2.0-1_arm64.deb 28-Jul-2026 00:31 23605072 rocq-stdlib_9.1.0-2.debian.tar.xz 23-Jul-2026 05:48 2432 rocq-stdlib_9.1.0-2.dsc 23-Jul-2026 05:48 2030 rocq-stdlib_9.1.0.orig.tar.gz 23-Jul-2026 05:48 1864765 rocq-stdlib_9.2.0-1.debian.tar.xz 27-Jul-2026 23:26 2488 rocq-stdlib_9.2.0-1.dsc 27-Jul-2026 23:26 2042 rocq-stdlib_9.2.0.orig.tar.gz 27-Jul-2026 23:26 1850225
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.