Index of /ubuntu/archive/pool/universe/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-lib-ocaml-dev_1.5.2-2_amd64.deb
2016-01-31 11:24
128K
libocp-indent-lib-ocaml-dev_1.5.2-2_i386.deb
2016-01-31 11:25
128K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_amd64.deb
2017-10-28 05:19
132K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_i386.deb
2017-10-28 05:19
132K
libocp-indent-lib-ocaml_1.5.2-2_amd64.deb
2016-01-31 11:24
94K
libocp-indent-lib-ocaml_1.5.2-2_i386.deb
2016-01-31 11:25
91K
libocp-indent-lib-ocaml_1.5.3-2build1_amd64.deb
2017-10-28 05:19
100K
libocp-indent-lib-ocaml_1.5.3-2build1_i386.deb
2017-10-28 05:19
96K
libocp-indent-ocaml-dev_1.7.0-2build1_amd64.deb
2020-02-21 02:18
506K
libocp-indent-ocaml-dev_1.8.2-1build4_amd64.deb
2022-01-28 08:03
644K
libocp-indent-ocaml-dev_1.8.2-5build1_amd64.deb
2023-11-03 02:44
640K
libocp-indent-ocaml-dev_1.8.2-5build2_amd64.deb
2024-08-10 07:48
774K
libocp-indent-ocaml_1.7.0-2build1_amd64.deb
2020-02-21 02:18
229K
libocp-indent-ocaml_1.8.2-1build4_amd64.deb
2022-01-28 08:03
319K
libocp-indent-ocaml_1.8.2-5build1_amd64.deb
2023-11-03 02:44
313K
libocp-indent-ocaml_1.8.2-5build2_amd64.deb
2024-08-10 07:48
288K
ocp-indent_1.5.2-2.debian.tar.xz
2016-01-31 11:24
17K
ocp-indent_1.5.2-2.dsc
2016-01-31 11:24
2.2K
ocp-indent_1.5.2-2_amd64.deb
2016-01-31 11:24
330K
ocp-indent_1.5.2-2_i386.deb
2016-01-31 11:25
317K
ocp-indent_1.5.2.orig.tar.gz
2016-01-31 11:24
139K
ocp-indent_1.5.3-2build1.debian.tar.xz
2017-10-28 05:18
17K
ocp-indent_1.5.3-2build1.dsc
2017-10-28 05:18
2.2K
ocp-indent_1.5.3-2build1_amd64.deb
2017-10-28 05:19
420K
ocp-indent_1.5.3-2build1_i386.deb
2017-10-28 05:19
394K
ocp-indent_1.5.3.orig.tar.gz
2016-11-01 22:43
141K
ocp-indent_1.7.0-2build1.debian.tar.xz
2020-02-21 01:53
16K
ocp-indent_1.7.0-2build1.dsc
2020-02-21 01:53
2.3K
ocp-indent_1.7.0-2build1_amd64.deb
2020-02-21 02:18
515K
ocp-indent_1.7.0.orig.tar.gz
2018-12-17 17:13
124K
ocp-indent_1.8.2-1build4.debian.tar.xz
2022-01-28 08:03
16K
ocp-indent_1.8.2-1build4.dsc
2022-01-28 08:03
2.3K
ocp-indent_1.8.2-1build4_amd64.deb
2022-01-28 08:03
1.1M
ocp-indent_1.8.2-5build1.debian.tar.xz
2023-11-03 02:44
16K
ocp-indent_1.8.2-5build1.dsc
2023-11-03 02:44
2.2K
ocp-indent_1.8.2-5build1_amd64.deb
2023-11-03 02:44
1.1M
ocp-indent_1.8.2-5build2.debian.tar.xz
2024-08-09 08:49
16K
ocp-indent_1.8.2-5build2.dsc
2024-08-09 08:49
2.2K
ocp-indent_1.8.2-5build2_amd64.deb
2024-08-10 07:48
798K
ocp-indent_1.8.2.orig.tar.gz
2020-08-18 12:13
107K
Apache/2.4.58 Server at mirrors.usinternet.com Port 443