../ coq_8.18.0+dfsg-1build2_amd64.deb 13-Jul-2026 11:17 95929242 coqide_8.18.0+dfsg-1build2_amd64.deb 13-Jul-2026 10:48 2349532 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 13-Jul-2026 10:49 51407928 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 13-Jul-2026 10:42 27687350 libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 13-Jul-2026 11:07 26511990