../ coq-theories_8.4pl3dfsg-1_all.deb 19-Jan-2014 23:58 31970270 coq_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 4040156 coqide_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 744612 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 3664528 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 1585458