../ coq_9.2.0+dfsg-3_ppc64.buildinfo 27-Jul-2026 18:03 16280 coq_9.2.0+dfsg-3_ppc64.deb 27-Jul-2026 18:03 24191544 libcoq-core-ocaml-dev_9.2.0+dfsg-3_ppc64.deb 27-Jul-2026 18:03 46569600 libcoq-core-ocaml_9.2.0+dfsg-3_ppc64.deb 27-Jul-2026 18:03 18075516 libcoq-core_9.2.0+dfsg-3_ppc64.deb 27-Jul-2026 18:03 1152696 rocqide_9.2.0+dfsg-3_ppc64.deb 27-Jul-2026 18:03 637780