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	2026-07-16 22:08	3.9M
	libcoq-micromega-plugin_1.1.0-1_arm64.deb	2026-07-18 15:17	4.0M
	libcoq-micromega-plugin_1.1.0-1_ppc64el.deb	2026-07-18 15:17	4.0M
	libcoq-micromega-plugin_1.1.0-1_s390x.deb	2026-07-18 15:17	4.0M
	libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb	2026-07-28 19:35	3.7M
	libcoq-micromega-plugin_1.1.1-1_amd64.deb	2026-07-28 18:49	3.7M
	libcoq-micromega-plugin_1.1.1-1_arm64.deb	2026-07-28 19:20	3.7M
	libcoq-micromega-plugin_1.1.1-1_ppc64el.deb	2026-07-28 19:20	3.7M
	libcoq-micromega-plugin_1.1.1-1_riscv64.deb	2026-07-29 01:04	4.0M
	libcoq-micromega-plugin_1.1.1-1_s390x.deb	2026-07-28 19:15	3.7M
	rocq-micromega-plugin_1.1.0-1.debian.tar.xz	2026-07-16 22:08	1.9K
	rocq-micromega-plugin_1.1.0-1.dsc	2026-07-16 22:08	2.2K
	rocq-micromega-plugin_1.1.0.orig.tar.gz	2026-07-16 22:08	150K
	rocq-micromega-plugin_1.1.1-1.debian.tar.xz	2026-07-28 18:49	2.4K
	rocq-micromega-plugin_1.1.1-1.dsc	2026-07-28 18:49	2.2K
	rocq-micromega-plugin_1.1.1.orig.tar.gz	2026-07-28 18:49	150K