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


../
libocp-indent-ocaml-dev_1.7.0-2_riscv64.deb        30-Aug-2019 12:04              405848
libocp-indent-ocaml_1.7.0-2_riscv64.deb            30-Aug-2019 12:04              157336
ocp-indent-dbgsym_1.7.0-2_riscv64.deb              30-Aug-2019 12:04               14020
ocp-indent_1.7.0-2_riscv64.buildinfo               30-Aug-2019 12:04                6206
ocp-indent_1.7.0-2_riscv64.deb                     30-Aug-2019 12:04              248532