../ coq_8.20.1+dfsg-1_amd64.deb 07-Jun-2025 10:38 70220620 coqide_8.20.1+dfsg-1_amd64.deb 07-Jun-2025 10:38 1929960 libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 07-Jun-2025 10:38 68723636 libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 07-Jun-2025 10:38 25950932 libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 07-Jun-2025 10:39 23526120