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-1_amd64.ddeb	2024-11-21 07:29	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_arm64.ddeb	2024-11-21 07:29	19K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_ppc64el.ddeb	2024-11-21 07:29	17K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_riscv64.ddeb	2024-11-21 07:29	16K
	libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_s390x.ddeb	2024-11-21 07:29	15K