Index of /ubuntu-ports/pool/universe/r/rocq-micromega-plugin/
Name
Size
Date
📁 ../
-
-
📄 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
2476 bytes
2026-07-28 17:29:24
📄 rocq-micromega-plugin_1.1.1-1.dsc
2214 bytes
2026-07-28 17:29:24
📄 rocq-micromega-plugin_1.1.1.orig.tar.gz
153653 bytes
2026-07-28 17:29:24