Index of /debian/pool/main/o/ocp-indent

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libocp-indent-ocaml-..> 2018-12-16 21:19  480K  
 libocp-indent-ocaml-..> 2020-10-14 01:27  550K  
 libocp-indent-ocaml-..> 2023-02-13 00:11  555K  
 libocp-indent-ocaml-..> 2024-08-08 08:29  760K  
 libocp-indent-ocaml_..> 2018-12-16 21:19  230K  
 libocp-indent-ocaml_..> 2020-10-14 01:27  267K  
 libocp-indent-ocaml_..> 2023-02-13 00:11  270K  
 libocp-indent-ocaml_..> 2024-08-08 08:29  278K  
 ocp-indent_1.7.0-1.d..> 2018-12-16 21:19   16K  
 ocp-indent_1.7.0-1.dsc  2018-12-16 21:19  2.1K  
 ocp-indent_1.7.0-1_a..> 2018-12-16 21:19  473K  
 ocp-indent_1.7.0.ori..> 2018-12-16 21:19  124K  
 ocp-indent_1.8.2-1+b..> 2020-10-14 01:27  897K  
 ocp-indent_1.8.2-1.d..> 2020-08-18 11:06   16K  
 ocp-indent_1.8.2-1.dsc  2020-08-18 11:06  1.9K  
 ocp-indent_1.8.2-2+b..> 2023-02-13 00:11  954K  
 ocp-indent_1.8.2-2.d..> 2022-10-15 08:50   16K  
 ocp-indent_1.8.2-2.dsc  2022-10-15 08:50  2.1K  
 ocp-indent_1.8.2-5+b..> 2024-08-08 08:29  722K  
 ocp-indent_1.8.2-5.d..> 2023-09-13 07:43   16K  
 ocp-indent_1.8.2-5.dsc  2023-09-13 07:43  1.9K  
 ocp-indent_1.8.2.ori..> 2020-08-18 11:06  107K