Welcome to the Wise Global Solutions Mirror @ mirror.wisegs.com!
Index of /debian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-ocaml-..>
2020-10-13 22:27
550K
libocp-indent-ocaml-..>
2020-10-13 22:27
549K
libocp-indent-ocaml-..>
2023-02-12 21:11
555K
libocp-indent-ocaml-..>
2023-02-12 21:22
553K
libocp-indent-ocaml-..>
2025-06-14 13:30
754K
libocp-indent-ocaml-..>
2025-06-14 14:27
647K
libocp-indent-ocaml_..>
2020-10-13 22:27
267K
libocp-indent-ocaml_..>
2020-10-13 22:27
263K
libocp-indent-ocaml_..>
2023-02-12 21:11
270K
libocp-indent-ocaml_..>
2023-02-12 21:22
264K
libocp-indent-ocaml_..>
2025-06-14 13:30
278K
libocp-indent-ocaml_..>
2025-06-14 14:27
196K
ocp-indent_1.8.2-1+b..>
2020-10-13 22:27
897K
ocp-indent_1.8.2-1+b..>
2020-10-13 22:27
860K
ocp-indent_1.8.2-1.d..>
2020-08-18 08:06
16K
ocp-indent_1.8.2-1.dsc
2020-08-18 08:06
1.9K
ocp-indent_1.8.2-2+b..>
2023-02-12 21:11
954K
ocp-indent_1.8.2-2+b..>
2023-02-12 21:22
904K
ocp-indent_1.8.2-2.d..>
2022-10-15 05:50
16K
ocp-indent_1.8.2-2.dsc
2022-10-15 05:50
2.1K
ocp-indent_1.8.2-5+b..>
2025-06-14 13:30
692K
ocp-indent_1.8.2-5+b..>
2025-06-14 14:27
308K
ocp-indent_1.8.2-5.d..>
2023-09-13 04:43
16K
ocp-indent_1.8.2-5.dsc
2023-09-13 04:43
1.9K
ocp-indent_1.8.2.ori..>
2020-08-18 08:06
107K