Index of /transitions/20261111/repo/pool/rocq-micromega-plugin/

../
libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb   11-Nov-2026 17:34             3981668
rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz 11-Nov-2026 17:34                2632
rocq-micromega-plugin_1.1.1-2+ocaml1.dsc           11-Nov-2026 17:34                1322
rocq-micromega-plugin_1.1.1-2+ocaml1_amd64-2026..> 11-Nov-2026 17:34               95280
rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.build   11-Nov-2026 17:34               95280
rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buil..> 11-Nov-2026 17:34                6979
rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.changes 11-Nov-2026 17:34                2159
rocq-micromega-plugin_1.1.1.orig.tar.gz            11-Nov-2026 17:34              153653