../ coq_9.2.0+dfsg-4_powerpc.buildinfo 25-Aug-2026 18:03 16K coq_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 23M libcoq-core-ocaml-dev_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 44M libcoq-core-ocaml_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 17M libcoq-core_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 1M rocqide_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 609K