../ coq_8.20.1+dfsg-1build4_amd64.deb 20-Jun-2026 23:44 79M coqide_8.20.1+dfsg-1build4_amd64.deb 20-Jun-2026 23:44 2M libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 20-Jun-2026 23:44 57M libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb 20-Jun-2026 23:44 27M libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb 20-Jun-2026 23:44 26M