../ coq_9.2.0+dfsg-4_amd64.deb 09-Oct-2026 08:41 41290504 libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb 09-Oct-2026 08:41 55691200 libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb 09-Oct-2026 08:41 25788404 libcoq-core_9.2.0+dfsg-4_amd64.deb 09-Oct-2026 08:41 1153244 rocqide_9.2.0+dfsg-4_amd64.deb 09-Oct-2026 08:41 1942852