../ coq_8.18.0+dfsg-1build2_amd64.deb 28-Oct-2025 13:25 95929242 coqide_8.18.0+dfsg-1build2_amd64.deb 28-Oct-2025 13:38 2349532 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 28-Oct-2025 13:50 51407928 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 28-Oct-2025 13:45 27687350 libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 28-Oct-2025 13:23 26511990