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

../
coq-dbgsym_8.19.1+dfsg-3_ppc64.deb                 03-Aug-2024 12:03             8686620
coq_8.19.1+dfsg-3_ppc64.buildinfo                  03-Aug-2024 12:03               16959
coq_8.19.1+dfsg-3_ppc64.deb                        03-Aug-2024 12:03            81987028
coq_9.1.0+dfsg-1~ppc64.debian.tar.xz               08-Oct-2025 12:03               24216
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               16239
coq_9.1.0+dfsg-1~ppc64_ppc64.deb                   08-Oct-2025 12:03            23264932
coq_9.1.0+dfsg.orig.tar.xz                         08-Oct-2025 12:03             3834256
coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb              03-Aug-2024 12:03              642808
coqide_8.19.1+dfsg-3_ppc64.deb                     03-Aug-2024 12:03             2025164
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb   03-Aug-2024 12:03             2078620
libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb      03-Aug-2024 12:03            46337952
libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb 08-Oct-2025 12:03            61811816
libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb          03-Aug-2024 12:03            23366248
libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb     08-Oct-2025 12:03            19437336
libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb           08-Oct-2025 12:03             1138532
libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb              03-Aug-2024 12:03            23659908
rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb               08-Oct-2025 12:03              634292