Index of /pool/main/o/ocp-indent
Name
Last modified
Size
Parent Directory
-
libocp-indent-ocaml-dev_1.7.0-1_amd64.deb
2018-12-17 07:19
480K
libocp-indent-ocaml-dev_1.7.0-1_i386.deb
2018-12-18 05:14
479K
libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb
2020-10-14 11:27
550K
libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb
2020-10-14 11:27
549K
libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb
2023-02-13 10:11
555K
libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb
2023-02-13 10:22
553K
libocp-indent-ocaml-dev_1.8.2-5+b2_amd64.deb
2024-08-08 17:29
760K
libocp-indent-ocaml-dev_1.8.2-5+b2_i386.deb
2024-08-08 17:29
653K
libocp-indent-ocaml_1.7.0-1_amd64.deb
2018-12-17 07:19
230K
libocp-indent-ocaml_1.7.0-1_i386.deb
2018-12-18 05:14
223K
libocp-indent-ocaml_1.8.2-1+b1_amd64.deb
2020-10-14 11:27
267K
libocp-indent-ocaml_1.8.2-1+b1_i386.deb
2020-10-14 11:27
263K
libocp-indent-ocaml_1.8.2-2+b2_amd64.deb
2023-02-13 10:11
270K
libocp-indent-ocaml_1.8.2-2+b2_i386.deb
2023-02-13 10:22
264K
libocp-indent-ocaml_1.8.2-5+b2_amd64.deb
2024-08-08 17:29
278K
libocp-indent-ocaml_1.8.2-5+b2_i386.deb
2024-08-08 17:29
196K
ocp-indent_1.7.0-1.debian.tar.xz
2018-12-17 07:19
16K
ocp-indent_1.7.0-1.dsc
2018-12-17 07:19
2.1K
ocp-indent_1.7.0-1_amd64.deb
2018-12-17 07:19
473K
ocp-indent_1.7.0-1_i386.deb
2018-12-18 05:14
443K
ocp-indent_1.7.0.orig.tar.gz
2018-12-17 07:19
124K
ocp-indent_1.8.2-1+b1_amd64.deb
2020-10-14 11:27
897K
ocp-indent_1.8.2-1+b1_i386.deb
2020-10-14 11:27
860K
ocp-indent_1.8.2-1.debian.tar.xz
2020-08-18 20:06
16K
ocp-indent_1.8.2-1.dsc
2020-08-18 20:06
1.9K
ocp-indent_1.8.2-2+b2_amd64.deb
2023-02-13 10:11
954K
ocp-indent_1.8.2-2+b2_i386.deb
2023-02-13 10:22
904K
ocp-indent_1.8.2-2.debian.tar.xz
2022-10-15 18:50
16K
ocp-indent_1.8.2-2.dsc
2022-10-15 18:50
2.1K
ocp-indent_1.8.2-5+b2_amd64.deb
2024-08-08 17:29
722K
ocp-indent_1.8.2-5+b2_i386.deb
2024-08-08 17:29
424K
ocp-indent_1.8.2-5.debian.tar.xz
2023-09-13 16:43
16K
ocp-indent_1.8.2-5.dsc
2023-09-13 16:43
1.9K
ocp-indent_1.8.2.orig.tar.gz
2020-08-18 20:06
107K
Apache/2.4.62 (Debian) Server at debian.inspire.net.nz Port 443