../ coq-theories_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 23919584 coq_8.12.0-3+b3_ia64.buildinfo 25-Nov-2020 12:03 15936 coq_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 105860172 coqide_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 46740 libcoq-ocaml-dbgsym_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 43200 libcoq-ocaml-dev_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 11279932 libcoq-ocaml_8.12.0-3+b3_ia64.deb 25-Nov-2020 12:03 5465596