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