Index of /archive.ubuntu.com/pool/universe/o/ocp-indent

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]libocp-indent-lib-oc..>2016-01-31 18:24 128K 
[   ]libocp-indent-lib-oc..>2016-01-31 18:25 128K 
[   ]libocp-indent-lib-oc..>2017-10-28 12:19 132K 
[   ]libocp-indent-lib-oc..>2017-10-28 12:19 132K 
[   ]libocp-indent-lib-oc..>2016-01-31 18:24 94K 
[   ]libocp-indent-lib-oc..>2016-01-31 18:25 91K 
[   ]libocp-indent-lib-oc..>2017-10-28 12:19 100K 
[   ]libocp-indent-lib-oc..>2017-10-28 12:19 96K 
[   ]libocp-indent-ocaml-..>2020-02-21 09:18 506K 
[   ]libocp-indent-ocaml-..>2022-01-28 15:03 644K 
[   ]libocp-indent-ocaml-..>2023-11-03 08:44 640K 
[   ]libocp-indent-ocaml-..>2024-08-10 14:48 774K 
[   ]libocp-indent-ocaml_..>2020-02-21 09:18 229K 
[   ]libocp-indent-ocaml_..>2022-01-28 15:03 319K 
[   ]libocp-indent-ocaml_..>2023-11-03 08:44 313K 
[   ]libocp-indent-ocaml_..>2024-08-10 14:48 288K 
[   ]ocp-indent_1.5.2-2.d..>2016-01-31 18:24 17K 
[TXT]ocp-indent_1.5.2-2.dsc 2016-01-31 18:24 2.2K 
[   ]ocp-indent_1.5.2-2_a..>2016-01-31 18:24 330K 
[   ]ocp-indent_1.5.2-2_i..>2016-01-31 18:25 317K 
[   ]ocp-indent_1.5.2.ori..>2016-01-31 18:24 139K 
[   ]ocp-indent_1.5.3-2bu..>2017-10-28 12:18 17K 
[TXT]ocp-indent_1.5.3-2bu..>2017-10-28 12:18 2.2K 
[   ]ocp-indent_1.5.3-2bu..>2017-10-28 12:19 420K 
[   ]ocp-indent_1.5.3-2bu..>2017-10-28 12:19 394K 
[   ]ocp-indent_1.5.3.ori..>2016-11-02 04:43 141K 
[   ]ocp-indent_1.7.0-2bu..>2020-02-21 08:53 16K 
[TXT]ocp-indent_1.7.0-2bu..>2020-02-21 08:53 2.3K 
[   ]ocp-indent_1.7.0-2bu..>2020-02-21 09:18 515K 
[   ]ocp-indent_1.7.0.ori..>2018-12-18 00:13 124K 
[   ]ocp-indent_1.8.2-1bu..>2022-01-28 15:03 16K 
[TXT]ocp-indent_1.8.2-1bu..>2022-01-28 15:03 2.3K 
[   ]ocp-indent_1.8.2-1bu..>2022-01-28 15:03 1.1M 
[   ]ocp-indent_1.8.2-5bu..>2023-11-03 08:44 16K 
[TXT]ocp-indent_1.8.2-5bu..>2023-11-03 08:44 2.2K 
[   ]ocp-indent_1.8.2-5bu..>2023-11-03 08:44 1.1M 
[   ]ocp-indent_1.8.2-5bu..>2024-08-09 15:49 16K 
[TXT]ocp-indent_1.8.2-5bu..>2024-08-09 15:49 2.2K 
[   ]ocp-indent_1.8.2-5bu..>2024-08-10 14:48 798K 
[   ]ocp-indent_1.8.2.ori..>2020-08-18 19:13 107K