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