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

../
coq-dbgsym_8.19.1+dfsg-3_ppc64.deb                 03-Aug-2024 12:03      8M
coq_8.19.1+dfsg-3_ppc64.buildinfo                  03-Aug-2024 12:03     17K
coq_8.19.1+dfsg-3_ppc64.deb                        03-Aug-2024 12:03     78M
coq_9.1.0+dfsg-1~ppc64.debian.tar.xz               08-Oct-2025 12:03     24K
coq_9.1.0+dfsg-1~ppc64.dsc                         08-Oct-2025 12:03    2627
coq_9.1.0+dfsg-1~ppc64_ppc64.buildinfo             08-Oct-2025 12:03     16K
coq_9.1.0+dfsg-1~ppc64_ppc64.deb                   08-Oct-2025 12:03     22M
coq_9.1.0+dfsg.orig.tar.xz                         08-Oct-2025 12:03      4M
coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb              03-Aug-2024 12:03    628K
coqide_8.19.1+dfsg-3_ppc64.deb                     03-Aug-2024 12:03      2M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb   03-Aug-2024 12:03      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb      03-Aug-2024 12:03     44M
libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb 08-Oct-2025 12:03     59M
libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb          03-Aug-2024 12:03     22M
libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb     08-Oct-2025 12:03     19M
libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb           08-Oct-2025 12:03      1M
libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb              03-Aug-2024 12:03     23M
rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb               08-Oct-2025 12:03    619K