Index of /pool/universe/o/ocp-indent

Name                    Last modified      Size  Description
Parent Directory                             -   
libocp-indent-lib-oc..> 2016-01-31 19:24  128K  
libocp-indent-lib-oc..> 2016-01-31 19: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 19:24   94K  
libocp-indent-lib-oc..> 2016-01-31 19: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 10:18  506K  
libocp-indent-ocaml-..> 2022-01-28 16:03  644K  
libocp-indent-ocaml-..> 2023-02-16 12:58  639K  
libocp-indent-ocaml-..> 2023-09-13 17:39  639K  
libocp-indent-ocaml-..> 2023-11-03 09:44  640K  
libocp-indent-ocaml_..> 2020-02-21 10:18  229K  
libocp-indent-ocaml_..> 2022-01-28 16:03  319K  
libocp-indent-ocaml_..> 2023-02-16 12:58  313K  
libocp-indent-ocaml_..> 2023-09-13 17:39  313K  
libocp-indent-ocaml_..> 2023-11-03 09:44  313K  
ocp-indent_1.5.2-2.d..> 2016-01-31 19:24   17K  
ocp-indent_1.5.2-2.dsc  2016-01-31 19:24  2.2K  
ocp-indent_1.5.2-2_a..> 2016-01-31 19:24  330K  
ocp-indent_1.5.2-2_i..> 2016-01-31 19:25  317K  
ocp-indent_1.5.2.ori..> 2016-01-31 19: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 05:43  141K  
ocp-indent_1.7.0-2bu..> 2020-02-21 09:53   16K  
ocp-indent_1.7.0-2bu..> 2020-02-21 09:53  2.3K  
ocp-indent_1.7.0-2bu..> 2020-02-21 10:18  515K  
ocp-indent_1.7.0.ori..> 2018-12-18 01:13  124K  
ocp-indent_1.8.2-1bu..> 2022-01-28 16:03   16K  
ocp-indent_1.8.2-1bu..> 2022-01-28 16:03  2.3K  
ocp-indent_1.8.2-1bu..> 2022-01-28 16:03  1.1M  
ocp-indent_1.8.2-2bu..> 2023-02-16 12:06   16K  
ocp-indent_1.8.2-2bu..> 2023-02-16 12:06  2.2K  
ocp-indent_1.8.2-2bu..> 2023-02-16 12: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 09:44   16K  
ocp-indent_1.8.2-5bu..> 2023-11-03 09:44  2.2K  
ocp-indent_1.8.2-5bu..> 2023-11-03 09:44  1.1M  
ocp-indent_1.8.2.ori..> 2020-08-18 20:13  107K