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


../
coq-theories_8.9.1-5+b1_powerpc.deb                12-Feb-2020 00:03            20337544
coq_8.9.1-5+b1_powerpc.buildinfo                   12-Feb-2020 00:03               14722
coq_8.9.1-5+b1_powerpc.deb                         12-Feb-2020 00:03            73423788
coqide_8.9.1-5+b1_powerpc.deb                      12-Feb-2020 00:03              101700
libcoq-ocaml-dbgsym_8.9.1-5+b1_powerpc.deb         12-Feb-2020 00:03               25704
libcoq-ocaml-dev_8.9.1-5+b1_powerpc.deb            12-Feb-2020 00:03             8862932
libcoq-ocaml_8.9.1-5+b1_powerpc.deb                12-Feb-2020 00:03             3809084