../ coq_8.18.0+dfsg-1build2_amd64.deb 23-Dec-2024 19:10 95929242 coqide_8.18.0+dfsg-1build2_amd64.deb 23-Dec-2024 19:53 2349532 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 23-Dec-2024 17:16 51407928 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 23-Dec-2024 19:26 27687350 libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 23-Dec-2024 13:50 26511990