Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/r/rocq-micromega-plugin/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
libcoq-micromega-plugin_1.1.1-1_amd64.deb2026-Aug-18 18:48:114.3Mapplication/octet-stream
libcoq-micromega-plugin_1.1.1-1_amd64v3.deb2026-Aug-18 18:48:184.3Mapplication/octet-stream
libcoq-micromega-plugin_1.1.1-1_arm64.deb2026-Aug-18 18:48:204.4Mapplication/octet-stream
rocq-micromega-plugin_1.1.1-1.debian.tar.xz2026-Jul-28 19:29:242.4Kapplication/octet-stream
rocq-micromega-plugin_1.1.1-1.dsc2026-Jul-28 19:29:242.1Kapplication/octet-stream
rocq-micromega-plugin_1.1.1.orig.tar.gz2026-Jul-28 19:29:24150.0Kapplication/x-gzip
lighttpd/1.4.19