Index of /mirrors/debian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
ocp-indent_1.8.2-2+b..>
2023-02-12 23:13
1.0M
ocp-indent_1.8.2-2+b..>
2023-02-12 22:11
954K
ocp-indent_1.8.2-1+b..>
2020-10-14 00:27
941K
ocp-indent_1.8.2-2+b..>
2023-02-12 22:22
904K
ocp-indent_1.8.2-1+b..>
2020-10-14 00:27
897K
ocp-indent_1.8.2-1+b..>
2020-10-14 00:27
860K
libocp-indent-ocaml-..>
2024-08-08 07:29
818K
libocp-indent-ocaml-..>
2024-08-08 07:24
769K
libocp-indent-ocaml-..>
2024-08-08 07:29
760K
ocp-indent_1.8.2-5+b..>
2024-08-08 07:29
751K
ocp-indent_1.8.2-5+b..>
2024-08-08 07:24
743K
ocp-indent_1.8.2-5+b..>
2024-08-08 07:29
722K
libocp-indent-ocaml-..>
2024-08-08 07:29
653K
libocp-indent-ocaml-..>
2023-02-12 23:13
565K
libocp-indent-ocaml-..>
2020-10-14 00:27
559K
libocp-indent-ocaml-..>
2023-02-12 22:11
555K
libocp-indent-ocaml-..>
2023-02-12 22:22
553K
libocp-indent-ocaml-..>
2020-10-14 00:27
550K
libocp-indent-ocaml-..>
2020-10-14 00:27
549K
libocp-indent-ocaml-..>
2018-12-16 19:19
480K
libocp-indent-ocaml-..>
2018-12-17 17:14
479K
ocp-indent_1.7.0-1_a..>
2018-12-16 19:19
473K
ocp-indent_1.7.0-1_i..>
2018-12-17 17:14
443K
ocp-indent_1.8.2-5+b..>
2024-08-08 07:29
424K
libocp-indent-ocaml_..>
2024-08-08 07:29
285K
libocp-indent-ocaml_..>
2024-08-08 07:24
282K
libocp-indent-ocaml_..>
2024-08-08 07:29
278K
libocp-indent-ocaml_..>
2023-02-12 23:13
275K
libocp-indent-ocaml_..>
2020-10-14 00:27
272K
libocp-indent-ocaml_..>
2023-02-12 22:11
270K
libocp-indent-ocaml_..>
2020-10-14 00:27
267K
libocp-indent-ocaml_..>
2023-02-12 22:22
264K
libocp-indent-ocaml_..>
2020-10-14 00:27
263K
libocp-indent-ocaml_..>
2018-12-16 19:19
230K
libocp-indent-ocaml_..>
2018-12-17 17:14
223K
libocp-indent-ocaml_..>
2024-08-08 07:29
196K
ocp-indent_1.7.0.ori..>
2018-12-16 19:19
124K
ocp-indent_1.8.2.ori..>
2020-08-18 10:06
107K
ocp-indent_1.8.2-5.d..>
2023-09-13 06:43
16K
ocp-indent_1.8.2-2.d..>
2022-10-15 07:50
16K
ocp-indent_1.7.0-1.d..>
2018-12-16 19:19
16K
ocp-indent_1.8.2-1.d..>
2020-08-18 10:06
16K
ocp-indent_1.7.0-1.dsc
2018-12-16 19:19
2.1K
ocp-indent_1.8.2-2.dsc
2022-10-15 07:50
2.1K
ocp-indent_1.8.2-5.dsc
2023-09-13 06:43
1.9K
ocp-indent_1.8.2-1.dsc
2020-08-18 10:06
1.9K