Index of /debian-ports/pool-powerpc/main/c/coq/


../
coq-theories_8.9.1-2+b1_powerpc.deb                03-Dec-2019 18:03            20355892
coq_8.9.1-2+b1_powerpc.buildinfo                   03-Dec-2019 18:03               14234
coq_8.9.1-2+b1_powerpc.deb                         03-Dec-2019 18:03            55166664
libcoq-ocaml-dbgsym_8.9.1-2+b1_powerpc.deb         03-Dec-2019 18:03               25712
libcoq-ocaml-dev_8.9.1-2+b1_powerpc.deb            03-Dec-2019 18:03             8232428
libcoq-ocaml_8.9.1-2+b1_powerpc.deb                03-Dec-2019 18:03             3808384