../ coq_9.2.0+dfsg-3_powerpc.buildinfo 27-Jul-2026 18:03 16238 coq_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 24094752 libcoq-core-ocaml-dev_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 46584068 libcoq-core-ocaml_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 18077360 libcoq-core_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 1151352 rocqide_9.2.0+dfsg-3_powerpc.deb 27-Jul-2026 18:03 622996