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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-micromega-plugin_1.1.0-1_amd64.deb	16-Jul-2026 15:08	3.9M
	libcoq-micromega-plugin_1.1.0-1_arm64.deb	18-Jul-2026 08:17	4.0M
	libcoq-micromega-plugin_1.1.0-1_ppc64el.deb	18-Jul-2026 08:17	4.0M
	libcoq-micromega-plugin_1.1.0-1_s390x.deb	18-Jul-2026 08:17	4.0M
	libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb	28-Jul-2026 12:35	3.7M
	libcoq-micromega-plugin_1.1.1-1_amd64.deb	28-Jul-2026 11:49	3.7M
	libcoq-micromega-plugin_1.1.1-1_arm64.deb	28-Jul-2026 12:20	3.7M
	libcoq-micromega-plugin_1.1.1-1_ppc64el.deb	28-Jul-2026 12:20	3.7M
	libcoq-micromega-plugin_1.1.1-1_riscv64.deb	28-Jul-2026 18:04	4.0M
	libcoq-micromega-plugin_1.1.1-1_s390x.deb	28-Jul-2026 12:15	3.7M
	rocq-micromega-plugin_1.1.0-1.debian.tar.xz	16-Jul-2026 15:08	1.9K
	rocq-micromega-plugin_1.1.0-1.dsc	16-Jul-2026 15:08	2.2K
	rocq-micromega-plugin_1.1.0.orig.tar.gz	16-Jul-2026 15:08	150K
	rocq-micromega-plugin_1.1.1-1.debian.tar.xz	28-Jul-2026 11:49	2.4K
	rocq-micromega-plugin_1.1.1-1.dsc	28-Jul-2026 11:49	2.2K
	rocq-micromega-plugin_1.1.1.orig.tar.gz	28-Jul-2026 11:49	150K