../ coq_9.2.0+dfsg-3_powerpc.buildinfo 27-Jul-2026 18:03 16K coq_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 23M libcoq-core-ocaml-dev_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 44M libcoq-core-ocaml_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 17M libcoq-core_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 1M rocqide_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 608K