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

	Name	Last modified	Size
	Parent Directory		-
	rocq-micromega-plugin_1.1.1.orig.tar.gz	2026-07-28 09:49	150K
	rocq-micromega-plugin_1.1.1-2.git.tar.xz	2026-08-26 15:32	259K
	rocq-micromega-plugin_1.1.1-2.dsc	2026-08-26 15:32	2.4K
	rocq-micromega-plugin_1.1.1-2.debian.tar.xz	2026-08-26 15:32	2.5K
	rocq-micromega-plugin_1.1.1-1.dsc	2026-07-28 09:49	2.2K
	rocq-micromega-plugin_1.1.1-1.debian.tar.xz	2026-07-28 09:49	2.4K
	libcoq-micromega-plugin_1.1.1-2_s390x.deb	2026-08-26 15:42	3.7M
	libcoq-micromega-plugin_1.1.1-2_riscv64.deb	2026-08-26 15:57	4.0M
	libcoq-micromega-plugin_1.1.1-2_ppc64el.deb	2026-08-26 15:57	3.7M
	libcoq-micromega-plugin_1.1.1-2_arm64.deb	2026-08-26 15:47	3.7M
	libcoq-micromega-plugin_1.1.1-2_amd64.deb	2026-08-26 15:47	3.7M
	libcoq-micromega-plugin_1.1.1-1_s390x.deb	2026-07-28 10:15	3.7M
	libcoq-micromega-plugin_1.1.1-1_riscv64.deb	2026-07-28 16:04	4.0M
	libcoq-micromega-plugin_1.1.1-1_ppc64el.deb	2026-07-28 10:20	3.7M
	libcoq-micromega-plugin_1.1.1-1_arm64.deb	2026-07-28 10:20	3.7M
	libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb	2026-07-28 10:35	3.7M