Index of /debian/pool/main/o/ocp-indent
Name Last modified Size Description
Parent Directory -
ocp-indent_1.8.2.ori..> 2020-08-18 11:06 107K
ocp-indent_1.8.2-5.dsc 2023-09-13 07:43 1.9K
ocp-indent_1.8.2-5.d..> 2023-09-13 07:43 16K
ocp-indent_1.8.2-5+b..> 2024-08-08 08:29 722K
ocp-indent_1.8.2-2.dsc 2022-10-15 08:50 2.1K
ocp-indent_1.8.2-2.d..> 2022-10-15 08:50 16K
ocp-indent_1.8.2-2+b..> 2023-02-13 00:11 954K
ocp-indent_1.8.2-1.dsc 2020-08-18 11:06 1.9K
ocp-indent_1.8.2-1.d..> 2020-08-18 11:06 16K
ocp-indent_1.8.2-1+b..> 2020-10-14 01:27 897K
ocp-indent_1.7.0.ori..> 2018-12-16 21:19 124K
ocp-indent_1.7.0-1_a..> 2018-12-16 21:19 473K
ocp-indent_1.7.0-1.dsc 2018-12-16 21:19 2.1K
ocp-indent_1.7.0-1.d..> 2018-12-16 21:19 16K
libocp-indent-ocaml_..> 2024-08-08 08:29 278K
libocp-indent-ocaml_..> 2023-02-13 00:11 270K
libocp-indent-ocaml_..> 2020-10-14 01:27 267K
libocp-indent-ocaml_..> 2018-12-16 21:19 230K
libocp-indent-ocaml-..> 2024-08-08 08:29 760K
libocp-indent-ocaml-..> 2023-02-13 00:11 555K
libocp-indent-ocaml-..> 2020-10-14 01:27 550K
libocp-indent-ocaml-..> 2018-12-16 21:19 480K