Index of /pool/universe/c/coq-bignums

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_amd64.ddeb	2024-04-08 08:38	3.5K
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_arm64.ddeb	2024-04-08 08:37	3.8K
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_armhf.ddeb	2024-04-08 08:38	4.0K
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_ppc64el.ddeb	2024-04-08 08:38	3.6K
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_riscv64.ddeb	2024-04-08 08:37	3.6K
	libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_s390x.ddeb	2024-04-08 08:38	3.4K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build9_amd64.ddeb	2025-06-20 13:15	4.1K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build9_arm64.ddeb	2025-06-20 13:15	4.3K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build9_ppc64el.ddeb	2025-06-20 13:15	4.3K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build9_riscv64.ddeb	2025-06-20 15:19	4.3K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build9_s390x.ddeb	2025-06-20 13:15	4.0K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_amd64.ddeb	2026-03-03 15:11	4.1K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_amd64v3.ddeb	2026-04-24 20:13	4.1K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_arm64.ddeb	2026-03-03 22:18	4.2K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_ppc64el.ddeb	2026-03-03 19:26	4.3K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_riscv64.ddeb	2026-03-03 17:14	4.3K
	libcoq-bignums-dbgsym_9.0.0+coq8.20-1build12_s390x.ddeb	2026-03-03 19:25	4.1K