Index of /pub/linux/debian/pool/main/r/rocq-micromega-plugin/

../
libcoq-micromega-plugin_1.1.0-1_amd64.deb          16-Jul-2026 16:08      4M
libcoq-micromega-plugin_1.1.0-1_arm64.deb          18-Jul-2026 09:17      4M
libcoq-micromega-plugin_1.1.0-1_ppc64el.deb        18-Jul-2026 09:17      4M
rocq-micromega-plugin_1.1.0-1.debian.tar.xz        16-Jul-2026 16:08    1924
rocq-micromega-plugin_1.1.0-1.dsc                  16-Jul-2026 16:08    2214
rocq-micromega-plugin_1.1.0.orig.tar.gz            16-Jul-2026 16:08    150K