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

../
coq-theories_8.12.0-3+b3_powerpc.deb               25-Nov-2020 12:03            23915324
coq_8.12.0-3+b3_powerpc.buildinfo                  25-Nov-2020 12:03               16112
coq_8.12.0-3+b3_powerpc.deb                        25-Nov-2020 12:03           105873540
coqide_8.12.0-3+b3_powerpc.deb                     25-Nov-2020 12:03               46756
libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb        25-Nov-2020 12:03               35560
libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb           25-Nov-2020 12:03            11282100
libcoq-ocaml_8.12.0-3+b3_powerpc.deb               25-Nov-2020 12:03             5461796