../ coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672 coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968 coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560 coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896 libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936 libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788 libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112 libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088