Folder Path

/ubuntu-ports/pool/universe/r/rocq-micromega-plugin/

Proudly hosted by

0 directories 13 files

	Name	Size	Modified
	Up
	libcoq-micromega-plugin_1.1.1-1_arm64.deb	4.4 MiB	08/18/2026 04:48:20 PM +00:00
	libcoq-micromega-plugin_1.1.1-1_ppc64el.deb	4.4 MiB	08/18/2026 04:48:25 PM +00:00
	libcoq-micromega-plugin_1.1.1-1_riscv64.deb	4.8 MiB	08/18/2026 06:01:10 PM +00:00
	libcoq-micromega-plugin_1.1.1-1_s390x.deb	4.4 MiB	08/18/2026 05:11:01 PM +00:00
	libcoq-micromega-plugin_1.1.1-2_arm64.deb	4.4 MiB	09/15/2026 05:31:52 PM +00:00
	libcoq-micromega-plugin_1.1.1-2_ppc64el.deb	4.4 MiB	09/15/2026 05:31:57 PM +00:00
	libcoq-micromega-plugin_1.1.1-2_riscv64.deb	4.8 MiB	09/15/2026 05:31:59 PM +00:00
	libcoq-micromega-plugin_1.1.1-2_s390x.deb	4.4 MiB	09/15/2026 05:32:01 PM +00:00
	rocq-micromega-plugin_1.1.1-1.debian.tar.xz	2.4 KiB	07/28/2026 05:29:24 PM +00:00
	rocq-micromega-plugin_1.1.1-1.dsc	2.2 KiB	07/28/2026 05:29:24 PM +00:00
	rocq-micromega-plugin_1.1.1-2.debian.tar.xz	2.5 KiB	09/15/2026 05:30:00 PM +00:00
	rocq-micromega-plugin_1.1.1-2.dsc	2.4 KiB	09/15/2026 05:30:00 PM +00:00
	rocq-micromega-plugin_1.1.1.orig.tar.gz	150 KiB	07/28/2026 05:29:24 PM +00:00