Index of /ubuntu/pool/universe/r/rocq-micromega-plugin

	Name	Last modified	Size
	Parent Directory		-
	libcoq-micromega-plugin_1.1.1-2build1_arm64.deb	2026-09-18 14:18	4.4M
	libcoq-micromega-plugin_1.1.1-2_arm64.deb	2026-09-15 17:31	4.4M
	libcoq-micromega-plugin_1.1.1-1_arm64.deb	2026-08-18 16:48	4.4M
	libcoq-micromega-plugin_1.1.1-2build1_amd64v3.deb	2026-09-18 14:18	4.3M
	libcoq-micromega-plugin_1.1.1-2build1_amd64.deb	2026-09-18 14:17	4.3M
	libcoq-micromega-plugin_1.1.1-2_amd64v3.deb	2026-09-15 17:31	4.3M
	libcoq-micromega-plugin_1.1.1-2_amd64.deb	2026-09-15 17:30	4.3M
	libcoq-micromega-plugin_1.1.1-1_amd64v3.deb	2026-08-18 16:48	4.3M
	libcoq-micromega-plugin_1.1.1-1_amd64.deb	2026-08-18 16:48	4.3M
	rocq-micromega-plugin_1.1.1.orig.tar.gz	2026-07-28 17:29	150K
	rocq-micromega-plugin_1.1.1-2build1.debian.tar.xz	2026-09-18 12:50	2.6K
	rocq-micromega-plugin_1.1.1-2.debian.tar.xz	2026-09-15 17:30	2.5K
	rocq-micromega-plugin_1.1.1-1.debian.tar.xz	2026-07-28 17:29	2.4K
	rocq-micromega-plugin_1.1.1-2.dsc	2026-09-15 17:30	2.4K
	rocq-micromega-plugin_1.1.1-1.dsc	2026-07-28 17:29	2.2K
	rocq-micromega-plugin_1.1.1-2build1.dsc	2026-09-18 12:50	2.1K