../ coq-theories_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 23M coq_8.12.0-3+b3_powerpc.buildinfo 25-Nov-2020 12:03 16K coq_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 101M coqide_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 46K libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 35K libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 11M libcoq-ocaml_8.12.0-3+b3_powerpc.deb 25-Nov-2020 12:03 5M