../ coq_8.20.1+dfsg-1build4_amd64.deb 03-Jun-2026 17:10 82457158 coqide_8.20.1+dfsg-1build4_amd64.deb 03-Jun-2026 17:10 2212144 libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 03-Jun-2026 17:10 59800134 libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb 03-Jun-2026 17:10 28275532 libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb 03-Jun-2026 17:10 26919630