../ coq_9.2.0+dfsg-3_sparc64.buildinfo 27-Jul-2026 18:03 16146 coq_9.2.0+dfsg-3_sparc64.deb 27-Jul-2026 18:03 23923776 libcoq-core-ocaml-dev_9.2.0+dfsg-3_sparc64.deb 27-Jul-2026 18:03 46573788 libcoq-core-ocaml_9.2.0+dfsg-3_sparc64.deb 27-Jul-2026 18:03 18069448 libcoq-core_9.2.0+dfsg-3_sparc64.deb 27-Jul-2026 18:03 1153792 rocqide_9.2.0+dfsg-3_sparc64.deb 27-Jul-2026 18:03 553200