This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.com
../ libcoq-micromega-plugin_1.1.0-1_amd64.deb 16-Jul-2026 13:08 4140304 libcoq-micromega-plugin_1.1.0-1_arm64.deb 18-Jul-2026 06:17 4143796 libcoq-micromega-plugin_1.1.0-1_ppc64el.deb 18-Jul-2026 06:17 4167348 libcoq-micromega-plugin_1.1.0-1_s390x.deb 18-Jul-2026 06:17 4157924 libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb 28-Jul-2026 10:35 3856456 libcoq-micromega-plugin_1.1.1-1_amd64.deb 28-Jul-2026 09:49 3855724 libcoq-micromega-plugin_1.1.1-1_arm64.deb 28-Jul-2026 10:20 3901092 libcoq-micromega-plugin_1.1.1-1_ppc64el.deb 28-Jul-2026 10:20 3889136 libcoq-micromega-plugin_1.1.1-1_riscv64.deb 28-Jul-2026 16:04 4202404 libcoq-micromega-plugin_1.1.1-1_s390x.deb 28-Jul-2026 10:15 3850124 rocq-micromega-plugin_1.1.0-1.debian.tar.xz 16-Jul-2026 13:08 1924 rocq-micromega-plugin_1.1.0-1.dsc 16-Jul-2026 13:08 2214 rocq-micromega-plugin_1.1.0.orig.tar.gz 16-Jul-2026 13:08 153694 rocq-micromega-plugin_1.1.1-1.debian.tar.xz 28-Jul-2026 09:49 2476 rocq-micromega-plugin_1.1.1-1.dsc 28-Jul-2026 09:49 2214 rocq-micromega-plugin_1.1.1.orig.tar.gz 28-Jul-2026 09:49 153653
