Index of /ubuntuarchive/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-02-16 05:58
639K
libocp-indent-ocaml-..>
2023-09-13 10:39
639K
libocp-indent-ocaml-..>
2023-11-03 03:44
640K
libocp-indent-ocaml-..>
2024-08-10 08:48
774K
libocp-indent-ocaml_..>
2020-02-21 03:18
229K
libocp-indent-ocaml_..>
2022-01-28 09:03
319K
libocp-indent-ocaml_..>
2023-02-16 05:58
313K
libocp-indent-ocaml_..>
2023-09-13 10:39
313K
libocp-indent-ocaml_..>
2023-11-03 03:44
313K
libocp-indent-ocaml_..>
2024-08-10 08:48
288K
ocp-indent_1.5.2-2.d..>
2016-01-31 12:24
17K
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
ocp-indent_1.5.3-2bu..>
2017-10-28 06:18
17K
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
ocp-indent_1.7.0-2bu..>
2020-02-21 02:53
16K
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
ocp-indent_1.8.2-1bu..>
2022-01-28 09:03
16K
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-2bu..>
2023-02-16 05:06
16K
ocp-indent_1.8.2-2bu..>
2023-02-16 05:06
2.2K
ocp-indent_1.8.2-2bu..>
2023-02-16 05:58
1.0M
ocp-indent_1.8.2-5.d..>
2023-09-13 10:39
16K
ocp-indent_1.8.2-5.dsc
2023-09-13 10:39
1.9K
ocp-indent_1.8.2-5_a..>
2023-09-13 10:39
1.0M
ocp-indent_1.8.2-5bu..>
2023-11-03 03:44
16K
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
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.ori..>
2020-08-18 13:13
107K