| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| ocp-indent_1.8.2-5.dsc | 1.9 KiB | 2024-May-15 11:35 |
| ocp-indent_1.8.2-5.debian.tar.xz | 16.2 KiB | 2024-May-15 11:35 |
| ocp-indent_1.8.2.orig.tar.gz | 107.1 KiB | 2024-May-15 11:35 |
| libocp-indent-ocaml_1.8.2-5+b3_riscv64.deb | 285.0 KiB | 2024-Aug-26 12:19 |
| ocp-indent_1.8.2-5+b3_riscv64.deb | 751.4 KiB | 2024-Aug-26 12:43 |
| libocp-indent-ocaml-dev_1.8.2-5+b3_riscv64.deb | 818.1 KiB | 2024-Aug-26 12:48 |