../ coq_9.2.0+dfsg-4_hppa.buildinfo 19-Sep-2026 18:03 15688 coq_9.2.0+dfsg-4_hppa.deb 19-Sep-2026 18:03 24230648 libcoq-core-ocaml-dev_9.2.0+dfsg-4_hppa.deb 19-Sep-2026 18:03 46588508 libcoq-core-ocaml_9.2.0+dfsg-4_hppa.deb 19-Sep-2026 18:03 18076692 libcoq-core_9.2.0+dfsg-4_hppa.deb 19-Sep-2026 18:03 1152264 rocqide_9.2.0+dfsg-4_hppa.deb 19-Sep-2026 18:03 595684