../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 10:28 36501836 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 10:28 90453192 coq_8.12.0-3.debian.tar.xz 10-Sep-2020 09:38 37772 coq_8.12.0-3.dsc 10-Sep-2020 09:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 12:26 6008211 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 10:28 1879212 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 10:28 18727404 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 10:28 7758156