../ coq_9.2.0+dfsg-4_powerpc.buildinfo 25-Aug-2026 18:03 16072 coq_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 24094316 libcoq-core-ocaml-dev_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 46578764 libcoq-core-ocaml_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 18076612 libcoq-core_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 1151220 rocqide_9.2.0+dfsg-4_powerpc.deb 25-Aug-2026 18:03 623628