../ coq_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 20:54 102M coqide_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 20:54 3M libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 20:53 43M libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 20:53 27M libcoq-stdlib_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 20:54 24M