libcoq-micromega-plugin_1.1.1-2_amd64.deb
rocq-micromega-plugin_1.1.1-2.debian.tar.xz
rocq-micromega-plugin_1.1.1-2.dsc
rocq-micromega-plugin_1.1.1.orig.tar.gz