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