../ coq-theories_8.9.0-1_armhf.deb 25-Feb-2019 10:08 20350056 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_armhf.deb 25-Feb-2019 10:08 55637572 coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769 libcoq-ocaml-dev_8.9.0-1_armhf.deb 25-Feb-2019 10:08 14303792 libcoq-ocaml_8.9.0-1_armhf.deb 25-Feb-2019 10:08 5325948