../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156