Index of /debian-ports/pool-ppc64/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb	2025-10-08 12:03	619K
	libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb	2025-10-08 12:03	1.1M
	libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb	2025-10-08 12:03	19M
	libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb	2025-10-08 12:03	59M
	coq_9.1.0+dfsg-1~ppc64_ppc64.deb	2025-10-08 12:03	22M
	coq_9.1.0+dfsg-1~ppc64_ppc64.buildinfo	2025-10-08 12:03	16K
	coq_9.1.0+dfsg.orig.tar.xz	2025-10-08 12:03	3.7M
	coq_9.1.0+dfsg-1~ppc64.debian.tar.xz	2025-10-08 12:03	24K
	coq_9.1.0+dfsg-1~ppc64.dsc	2025-10-08 12:03	2.6K
	libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	23M
	libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	22M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	44M
	libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	2.0M
	coqide_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	1.9M
	coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	628K
	coq_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	78M
	coq_8.19.1+dfsg-3_ppc64.buildinfo	2024-08-03 12:03	17K
	coq-dbgsym_8.19.1+dfsg-3_ppc64.deb	2024-08-03 12:03	8.3M