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
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_8.19.1+dfsg-3_ppc64.deb          03-Aug-2024 12:03     22M
libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb              03-Aug-2024 12:03     23M