Index of /ubuntu/pool/universe/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-lib-oc..>
2016-02-01 01:24
128K
libocp-indent-lib-oc..>
2016-02-01 01:25
128K
libocp-indent-lib-oc..>
2017-07-17 01:28
131K
libocp-indent-lib-oc..>
2017-07-17 01:28
131K
libocp-indent-lib-oc..>
2017-10-28 18:19
132K
libocp-indent-lib-oc..>
2017-10-28 18:19
132K
libocp-indent-lib-oc..>
2018-05-22 01:30
133K
libocp-indent-lib-oc..>
2018-05-22 01:30
133K
libocp-indent-lib-oc..>
2016-02-01 01:24
94K
libocp-indent-lib-oc..>
2016-02-01 01:25
91K
libocp-indent-lib-oc..>
2017-07-17 01:28
100K
libocp-indent-lib-oc..>
2017-07-17 01:28
96K
libocp-indent-lib-oc..>
2017-10-28 18:19
100K
libocp-indent-lib-oc..>
2017-10-28 18:19
96K
libocp-indent-lib-oc..>
2018-05-22 01:30
100K
libocp-indent-lib-oc..>
2018-05-22 01:30
96K
libocp-indent-ocaml-..>
2018-12-18 08:03
478K
libocp-indent-ocaml-..>
2018-12-18 08:03
478K
libocp-indent-ocaml_..>
2018-12-18 08:03
227K
libocp-indent-ocaml_..>
2018-12-18 08:03
221K
ocp-indent_1.5.2-2.d..>
2016-02-01 01:24
17K
ocp-indent_1.5.2-2.dsc
2016-02-01 01:24
2.2K
ocp-indent_1.5.2-2_a..>
2016-02-01 01:24
330K
ocp-indent_1.5.2-2_i..>
2016-02-01 01:25
317K
ocp-indent_1.5.2.ori..>
2016-02-01 01:24
139K
ocp-indent_1.5.3-2.d..>
2017-07-17 01:08
17K
ocp-indent_1.5.3-2.dsc
2017-07-17 01:08
2.2K
ocp-indent_1.5.3-2_a..>
2017-07-17 01:28
413K
ocp-indent_1.5.3-2_i..>
2017-07-17 01:28
389K
ocp-indent_1.5.3-2bu..>
2017-10-28 18:18
17K
ocp-indent_1.5.3-2bu..>
2017-10-28 18:18
2.2K
ocp-indent_1.5.3-2bu..>
2017-10-28 18:19
420K
ocp-indent_1.5.3-2bu..>
2017-10-28 18:19
394K
ocp-indent_1.5.3.ori..>
2016-11-02 11:43
141K
ocp-indent_1.6.1-1.d..>
2018-05-22 01:29
17K
ocp-indent_1.6.1-1.dsc
2018-05-22 01:29
2.2K
ocp-indent_1.6.1-1_a..>
2018-05-22 01:30
442K
ocp-indent_1.6.1-1_i..>
2018-05-22 01:30
414K
ocp-indent_1.6.1.ori..>
2018-05-22 01:29
152K
ocp-indent_1.7.0-1.d..>
2018-12-18 07:13
16K
ocp-indent_1.7.0-1.dsc
2018-12-18 07:13
2.1K
ocp-indent_1.7.0-1_a..>
2018-12-18 08:03
472K
ocp-indent_1.7.0-1_i..>
2018-12-18 08:03
442K
ocp-indent_1.7.0.ori..>
2018-12-18 07:13
124K