../ coq_8.15.0+dfsg-2_amd64.deb 19-Jun-2025 06:40 91M coqide_8.15.0+dfsg-2_amd64.deb 19-Jun-2025 06:40 2M libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 19-Jun-2025 06:40 43M libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 19-Jun-2025 06:40 26M libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 19-Jun-2025 06:40 24M