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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq_9.1.0+dfsg-1~ppc64.debian.tar.xz2025-10-08 12:03 24K
[TXT]coq_9.1.0+dfsg-1~ppc64.dsc2025-10-08 12:03 2.6K
[ ]coq_9.1.0+dfsg-1~ppc64_ppc64.buildinfo2025-10-08 12:03 16K
[ ]coq_9.1.0+dfsg-1~ppc64_ppc64.deb2025-10-08 12:03 22M
[ ]coq_9.1.0+dfsg.orig.tar.xz2025-10-08 12:03 3.7M
[ ]coq_9.2.0+dfsg-1_ppc64.buildinfo2026-07-10 12:03 16K
[ ]coq_9.2.0+dfsg-1_ppc64.deb2026-07-10 12:03 23M
[ ]coq_9.2.0+dfsg-2_ppc64.buildinfo2026-07-21 12:03 16K
[ ]coq_9.2.0+dfsg-2_ppc64.deb2026-07-21 12:03 23M
[ ]libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb2025-10-08 12:03 59M
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64.deb2026-07-10 12:03 44M
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-2_ppc64.deb2026-07-21 12:03 44M
[ ]libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb2025-10-08 12:03 19M
[ ]libcoq-core-ocaml_9.2.0+dfsg-1_ppc64.deb2026-07-10 12:03 17M
[ ]libcoq-core-ocaml_9.2.0+dfsg-2_ppc64.deb2026-07-21 12:03 17M
[ ]libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb2025-10-08 12:03 1.1M
[ ]libcoq-core_9.2.0+dfsg-1_ppc64.deb2026-07-10 12:03 1.1M
[ ]libcoq-core_9.2.0+dfsg-2_ppc64.deb2026-07-21 12:03 1.1M
[ ]rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb2025-10-08 12:03 619K
[ ]rocqide_9.2.0+dfsg-1_ppc64.deb2026-07-10 12:03 623K
[ ]rocqide_9.2.0+dfsg-2_ppc64.deb2026-07-21 12:03 620K
Apache Server at ftp.ports.debian.org Port 80