../ coq-theories_8.11.0-1_amd64.deb 06-Mar-2020 08:38 33079952 coq_8.11.0-1.debian.tar.xz 06-Mar-2020 07:53 31672 coq_8.11.0-1.dsc 06-Mar-2020 07:53 2496 coq_8.11.0-1_amd64.deb 06-Mar-2020 08:38 76583920 coq_8.11.0.orig.tar.gz 06-Mar-2020 07:53 5825620 coqide_8.11.0-1_amd64.deb 06-Mar-2020 08:38 1758824 libcoq-ocaml-dev_8.11.0-1_amd64.deb 06-Mar-2020 08:38 16068892 libcoq-ocaml_8.11.0-1_amd64.deb 06-Mar-2020 08:38 6324304