Index of /pool/universe/p/paramcoq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_amd64.ddeb	2024-04-01 09:13	13K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_arm64.ddeb	2024-04-01 11:16	15K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_armhf.ddeb	2024-04-01 11:16	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_ppc64el.ddeb	2024-04-01 19:52	13K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_riscv64.ddeb	2024-04-01 11:00	13K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_s390x.ddeb	2024-04-01 20:18	12K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2build2_amd64.ddeb	2024-09-10 04:59	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2build2_arm64.ddeb	2024-09-10 04:59	19K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2build2_ppc64el.ddeb	2024-09-10 04:59	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2build2_riscv64.ddeb	2024-09-10 04:57	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2build2_s390x.ddeb	2024-09-10 04:59	15K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1build3_amd64.ddeb	2025-02-18 21:16	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1build3_arm64.ddeb	2025-02-18 21:14	19K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1build3_ppc64el.ddeb	2025-02-18 22:15	17K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1build3_riscv64.ddeb	2025-02-19 00:19	17K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1build3_s390x.ddeb	2025-02-19 00:22	15K