Index of /debian-ports/pool-riscv64/main/o/ocp-indent/


../
libocp-indent-ocaml-dev_1.7.0-2+b1_riscv64.deb     07-Nov-2019 12:03              439084
libocp-indent-ocaml_1.7.0-2+b1_riscv64.deb         07-Nov-2019 12:03              160636
ocp-indent-dbgsym_1.7.0-2+b1_riscv64.deb           07-Nov-2019 12:03               15108
ocp-indent_1.7.0-2+b1_riscv64.buildinfo            07-Nov-2019 12:03                6560
ocp-indent_1.7.0-2+b1_riscv64.deb                  07-Nov-2019 12:03              269164