Index of /ubuntu/pool/universe/o/ocp-indent
Name
Last modified
Size
Parent Directory
-
libocp-indent-lib-ocaml-dev_1.5.2-2_amd64.deb
2016-01-31 17:24
128K
libocp-indent-lib-ocaml-dev_1.5.2-2_i386.deb
2016-01-31 17:25
128K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_amd64.deb
2017-10-28 11:19
132K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_i386.deb
2017-10-28 11:19
132K
libocp-indent-lib-ocaml_1.5.2-2_amd64.deb
2016-01-31 17:24
94K
libocp-indent-lib-ocaml_1.5.2-2_i386.deb
2016-01-31 17:25
91K
libocp-indent-lib-ocaml_1.5.3-2build1_amd64.deb
2017-10-28 11:19
100K
libocp-indent-lib-ocaml_1.5.3-2build1_i386.deb
2017-10-28 11:19
96K
libocp-indent-ocaml-dev_1.7.0-2_amd64.deb
2019-09-03 07:43
479K
libocp-indent-ocaml-dev_1.7.0-2_i386.deb
2019-09-03 07:43
478K
libocp-indent-ocaml-dev_1.7.0-2build1_amd64.deb
2020-02-21 08:18
506K
libocp-indent-ocaml_1.7.0-2_amd64.deb
2019-09-03 07:43
227K
libocp-indent-ocaml_1.7.0-2_i386.deb
2019-09-03 07:43
221K
libocp-indent-ocaml_1.7.0-2build1_amd64.deb
2020-02-21 08:18
229K
ocp-indent_1.5.2-2.debian.tar.xz
2016-01-31 17:24
17K
ocp-indent_1.5.2-2.dsc
2016-01-31 17:24
2.2K
ocp-indent_1.5.2-2_amd64.deb
2016-01-31 17:24
330K
ocp-indent_1.5.2-2_i386.deb
2016-01-31 17:25
317K
ocp-indent_1.5.2.orig.tar.gz
2016-01-31 17:24
139K
ocp-indent_1.5.3-2build1.debian.tar.xz
2017-10-28 11:18
17K
ocp-indent_1.5.3-2build1.dsc
2017-10-28 11:18
2.2K
ocp-indent_1.5.3-2build1_amd64.deb
2017-10-28 11:19
420K
ocp-indent_1.5.3-2build1_i386.deb
2017-10-28 11:19
394K
ocp-indent_1.5.3.orig.tar.gz
2016-11-02 03:43
141K
ocp-indent_1.7.0-2.debian.tar.xz
2019-09-03 07:33
16K
ocp-indent_1.7.0-2.dsc
2019-09-03 07:33
1.9K
ocp-indent_1.7.0-2_amd64.deb
2019-09-03 07:43
481K
ocp-indent_1.7.0-2_i386.deb
2019-09-03 07:43
449K
ocp-indent_1.7.0-2build1.debian.tar.xz
2020-02-21 07:53
16K
ocp-indent_1.7.0-2build1.dsc
2020-02-21 07:53
2.3K
ocp-indent_1.7.0-2build1_amd64.deb
2020-02-21 08:18
515K
ocp-indent_1.7.0.orig.tar.gz
2018-12-17 23:13
124K
Apache/2.4.59 (Debian) SVN/1.14.1 mod_python/3.5.0- Python/3.9.2 OpenSSL/1.1.1w Server at ubuntu.positive-internet.com Port 80