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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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  
[TXT] 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