../ coq_8.15.0+dfsg-2_amd64.deb 17-Dec-2024 11:45 95393552 coqide_8.15.0+dfsg-2_amd64.deb 17-Dec-2024 13:50 2387786 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 17-Dec-2024 13:27 45035496 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 17-Dec-2024 14:10 27070410 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 17-Dec-2024 09:34 24695142