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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libocp-indent-lib-oc..> 31-Jan-2016 17:24  128K  
 libocp-indent-lib-oc..> 31-Jan-2016 17:25  128K  
 libocp-indent-lib-oc..> 28-Oct-2017 10:19  132K  
 libocp-indent-lib-oc..> 28-Oct-2017 10:19  132K  
 libocp-indent-lib-oc..> 31-Jan-2016 17:24   94K  
 libocp-indent-lib-oc..> 31-Jan-2016 17:25   91K  
 libocp-indent-lib-oc..> 28-Oct-2017 10:19  100K  
 libocp-indent-lib-oc..> 28-Oct-2017 10:19   96K  
 libocp-indent-ocaml-..> 21-Feb-2020 08:18  506K  
 libocp-indent-ocaml-..> 28-Jan-2022 14:03  644K  
 libocp-indent-ocaml-..> 16-Feb-2023 10:58  639K  
 libocp-indent-ocaml-..> 13-Sep-2023 14:39  639K  
 libocp-indent-ocaml-..> 03-Nov-2023 07:44  640K  
 libocp-indent-ocaml_..> 21-Feb-2020 08:18  229K  
 libocp-indent-ocaml_..> 28-Jan-2022 14:03  319K  
 libocp-indent-ocaml_..> 16-Feb-2023 10:58  313K  
 libocp-indent-ocaml_..> 13-Sep-2023 14:39  313K  
 libocp-indent-ocaml_..> 03-Nov-2023 07:44  313K  
 ocp-indent_1.5.2-2.d..> 31-Jan-2016 17:24   17K  
 ocp-indent_1.5.2-2.dsc  31-Jan-2016 17:24  2.2K  
 ocp-indent_1.5.2-2_a..> 31-Jan-2016 17:24  330K  
 ocp-indent_1.5.2-2_i..> 31-Jan-2016 17:25  317K  
 ocp-indent_1.5.2.ori..> 31-Jan-2016 17:24  139K  
 ocp-indent_1.5.3-2bu..> 28-Oct-2017 10:18   17K  
 ocp-indent_1.5.3-2bu..> 28-Oct-2017 10:18  2.2K  
 ocp-indent_1.5.3-2bu..> 28-Oct-2017 10:19  420K  
 ocp-indent_1.5.3-2bu..> 28-Oct-2017 10:19  394K  
 ocp-indent_1.5.3.ori..> 02-Nov-2016 03:43  141K  
 ocp-indent_1.7.0-2bu..> 21-Feb-2020 07:53   16K  
 ocp-indent_1.7.0-2bu..> 21-Feb-2020 07:53  2.3K  
 ocp-indent_1.7.0-2bu..> 21-Feb-2020 08:18  515K  
 ocp-indent_1.7.0.ori..> 17-Dec-2018 23:13  124K  
 ocp-indent_1.8.2-1bu..> 28-Jan-2022 14:03   16K  
 ocp-indent_1.8.2-1bu..> 28-Jan-2022 14:03  2.3K  
 ocp-indent_1.8.2-1bu..> 28-Jan-2022 14:03  1.1M  
 ocp-indent_1.8.2-2bu..> 16-Feb-2023 10:06   16K  
 ocp-indent_1.8.2-2bu..> 16-Feb-2023 10:06  2.2K  
 ocp-indent_1.8.2-2bu..> 16-Feb-2023 10:58  1.0M  
 ocp-indent_1.8.2-5.d..> 13-Sep-2023 14:39   16K  
 ocp-indent_1.8.2-5.dsc  13-Sep-2023 14:39  1.9K  
 ocp-indent_1.8.2-5_a..> 13-Sep-2023 14:39  1.0M  
 ocp-indent_1.8.2-5bu..> 03-Nov-2023 07:44   16K  
 ocp-indent_1.8.2-5bu..> 03-Nov-2023 07:44  2.2K  
 ocp-indent_1.8.2-5bu..> 03-Nov-2023 07:44  1.1M  
 ocp-indent_1.8.2.ori..> 18-Aug-2020 17:13  107K