Index of /archive/pool/universe/o/ocp-indent
Name Last modified Size Description
Parent Directory -
libocp-indent-lib-oc..> 2016-01-31 12:24 128K
libocp-indent-lib-oc..> 2016-01-31 12:25 128K
libocp-indent-lib-oc..> 2017-10-28 06:19 132K
libocp-indent-lib-oc..> 2017-10-28 06:19 132K
libocp-indent-lib-oc..> 2016-01-31 12:24 94K
libocp-indent-lib-oc..> 2016-01-31 12:25 91K
libocp-indent-lib-oc..> 2017-10-28 06:19 100K
libocp-indent-lib-oc..> 2017-10-28 06:19 96K
libocp-indent-ocaml-..> 2020-02-21 03:18 506K
libocp-indent-ocaml-..> 2022-01-28 09:03 644K
libocp-indent-ocaml-..> 2023-11-03 03:44 640K
libocp-indent-ocaml-..> 2024-08-10 08:48 774K
libocp-indent-ocaml-..> 2025-02-12 17:46 766K
libocp-indent-ocaml-..> 2025-06-16 19:14 765K
libocp-indent-ocaml_..> 2020-02-21 03:18 229K
libocp-indent-ocaml_..> 2022-01-28 09:03 319K
libocp-indent-ocaml_..> 2023-11-03 03:44 313K
libocp-indent-ocaml_..> 2024-08-10 08:48 288K
libocp-indent-ocaml_..> 2025-02-12 17:46 288K
libocp-indent-ocaml_..> 2025-06-16 19:14 288K
ocp-indent_1.5.2-2.d..> 2016-01-31 12:24 17K tar archive
ocp-indent_1.5.2-2.dsc 2016-01-31 12:24 2.2K
ocp-indent_1.5.2-2_a..> 2016-01-31 12:24 330K
ocp-indent_1.5.2-2_i..> 2016-01-31 12:25 317K
ocp-indent_1.5.2.ori..> 2016-01-31 12:24 139K GZIP compressed docume>
ocp-indent_1.5.3-2bu..> 2017-10-28 06:18 17K tar archive
ocp-indent_1.5.3-2bu..> 2017-10-28 06:18 2.2K
ocp-indent_1.5.3-2bu..> 2017-10-28 06:19 420K
ocp-indent_1.5.3-2bu..> 2017-10-28 06:19 394K
ocp-indent_1.5.3.ori..> 2016-11-01 23:43 141K GZIP compressed docume>
ocp-indent_1.7.0-2bu..> 2020-02-21 02:53 16K tar archive
ocp-indent_1.7.0-2bu..> 2020-02-21 02:53 2.3K
ocp-indent_1.7.0-2bu..> 2020-02-21 03:18 515K
ocp-indent_1.7.0.ori..> 2018-12-17 18:13 124K GZIP compressed docume>
ocp-indent_1.8.2-1bu..> 2022-01-28 09:03 16K tar archive
ocp-indent_1.8.2-1bu..> 2022-01-28 09:03 2.3K
ocp-indent_1.8.2-1bu..> 2022-01-28 09:03 1.1M
ocp-indent_1.8.2-5bu..> 2023-11-03 03:44 16K tar archive
ocp-indent_1.8.2-5bu..> 2023-11-03 03:44 2.2K
ocp-indent_1.8.2-5bu..> 2023-11-03 03:44 1.1M
ocp-indent_1.8.2-5bu..> 2024-08-09 09:49 16K tar archive
ocp-indent_1.8.2-5bu..> 2024-08-09 09:49 2.2K
ocp-indent_1.8.2-5bu..> 2024-08-10 08:48 798K
ocp-indent_1.8.2-5bu..> 2025-02-12 17:46 16K tar archive
ocp-indent_1.8.2-5bu..> 2025-02-12 17:46 2.2K
ocp-indent_1.8.2-5bu..> 2025-02-12 17:46 787K
ocp-indent_1.8.2-5bu..> 2025-06-16 16:17 16K tar archive
ocp-indent_1.8.2-5bu..> 2025-06-16 16:17 2.2K
ocp-indent_1.8.2-5bu..> 2025-06-16 19:14 763K
ocp-indent_1.8.2.ori..> 2020-08-18 13:13 107K GZIP compressed docume>