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

Icon  Name                                           Last modified      Size  Description
[DIR] Parent Directory                                                    -   
[   ] ocp-indent_1.7.0-2+b1_riscv64.deb              07-Nov-2019 13:03  263K  
[   ] ocp-indent_1.7.0-2+b1_riscv64.buildinfo        07-Nov-2019 13:03  6.4K  
[   ] ocp-indent-dbgsym_1.7.0-2+b1_riscv64.deb       07-Nov-2019 13:03   15K  
[   ] libocp-indent-ocaml_1.7.0-2+b1_riscv64.deb     07-Nov-2019 13:03  157K  
[   ] libocp-indent-ocaml-dev_1.7.0-2+b1_riscv64.deb 07-Nov-2019 13:03  429K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80