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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb	2026-07-28 19:35	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
	libcoq-micromega-plugin_1.1.1-2_amd64.deb	2026-08-27 00:47	3.7M
	libcoq-micromega-plugin_1.1.1-2_arm64.deb	2026-08-27 00:47	3.7M
	libcoq-micromega-plugin_1.1.1-2_ppc64el.deb	2026-08-27 00:57	3.7M
	libcoq-micromega-plugin_1.1.1-2_riscv64.deb	2026-08-27 00:57	4.0M
	libcoq-micromega-plugin_1.1.1-2_s390x.deb	2026-08-27 00:42	3.7M
	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-2.debian.tar.xz	2026-08-27 00:32	2.5K
	rocq-micromega-plugin_1.1.1-2.dsc	2026-08-27 00:32	2.4K
	rocq-micromega-plugin_1.1.1-2.git.tar.xz	2026-08-27 00:32	259K
	rocq-micromega-plugin_1.1.1.orig.tar.gz	2026-07-28 18:49	150K