../ coq_9.2.0+dfsg-3_alpha.buildinfo 27-Jul-2026 18:03 16030 coq_9.2.0+dfsg-3_alpha.deb 27-Jul-2026 18:03 24214628 libcoq-core-ocaml-dev_9.2.0+dfsg-3_alpha.deb 27-Jul-2026 18:03 46583132 libcoq-core-ocaml_9.2.0+dfsg-3_alpha.deb 27-Jul-2026 18:03 18074432 libcoq-core_9.2.0+dfsg-3_alpha.deb 27-Jul-2026 18:03 1151948 rocqide_9.2.0+dfsg-3_alpha.deb 27-Jul-2026 18:03 608216