../ coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672 coq_8.9.0-1.debian.tar.xz 06-Feb-2019 18:49 27816 coq_8.9.0-1.dsc 06-Feb-2019 18:49 2417 coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560 coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769 libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936 libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112