../ coq_8.15.0+dfsg-2_amd64.deb 05-Sep-2024 21:19 95393552 coqide_8.15.0+dfsg-2_amd64.deb 05-Sep-2024 21:21 2387786 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 05-Sep-2024 21:16 45035496 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 05-Sep-2024 21:29 27070410 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 05-Sep-2024 21:27 24695142