| Parent directory/ | - | - |
| ocp-indent_1.8.2-5+b1_armhf.deb | 891.6 KiB | 2023-Oct-04 07:08 |
| ocp-indent_1.8.2-2+b2_armhf.deb | 855.0 KiB | 2023-May-21 01:08 |
| ocp-indent_1.8.2-1+b1_armhf.deb | 814.4 KiB | 2020-Nov-09 10:23 |
| libocp-indent-ocaml-dev_1.8.2-5+b1_armhf.deb | 558.8 KiB | 2023-Oct-04 07:08 |
| libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb | 556.9 KiB | 2023-May-21 01:08 |
| libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb | 552.6 KiB | 2020-Nov-09 10:23 |
| libocp-indent-ocaml-dev_1.7.0-1_armhf.deb | 486.4 KiB | 2019-Jan-19 01:08 |
| ocp-indent_1.7.0-1_armhf.deb | 419.3 KiB | 2019-Jan-19 01:08 |
| libocp-indent-ocaml_1.8.2-2+b2_armhf.deb | 266.8 KiB | 2023-May-21 01:08 |
| libocp-indent-ocaml_1.8.2-5+b1_armhf.deb | 266.2 KiB | 2023-Oct-04 07:08 |
| libocp-indent-ocaml_1.8.2-1+b1_armhf.deb | 265.1 KiB | 2020-Nov-09 10:23 |
| libocp-indent-ocaml_1.7.0-1_armhf.deb | 228.0 KiB | 2019-Jan-19 01:08 |
| ocp-indent_1.7.0.orig.tar.gz | 123.6 KiB | 2018-Dec-17 03:19 |
| ocp-indent_1.8.2.orig.tar.gz | 107.1 KiB | 2020-Aug-18 17:06 |
| ocp-indent_1.8.2-5.debian.tar.xz | 16.2 KiB | 2023-Sep-13 13:43 |
| ocp-indent_1.8.2-2.debian.tar.xz | 16.2 KiB | 2022-Oct-15 14:50 |
| ocp-indent_1.7.0-1.debian.tar.xz | 16.0 KiB | 2018-Dec-17 03:19 |
| ocp-indent_1.8.2-1.debian.tar.xz | 16.0 KiB | 2020-Aug-18 17:06 |
| ocp-indent_1.7.0-1.dsc | 2.1 KiB | 2018-Dec-17 03:19 |
| ocp-indent_1.8.2-2.dsc | 2.1 KiB | 2022-Oct-15 14:50 |
| ocp-indent_1.8.2-5.dsc | 1.9 KiB | 2023-Sep-13 13:43 |
| ocp-indent_1.8.2-1.dsc | 1.9 KiB | 2020-Aug-18 17:06 |