Index of /debian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb
2020-10-14 00:27
550K
libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb
2020-10-14 00:27
549K
libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb
2023-02-12 22:11
555K
libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb
2023-02-12 22:22
553K
libocp-indent-ocaml-dev_1.8.2-5+b5_amd64.deb
2025-06-14 15:30
754K
libocp-indent-ocaml-dev_1.8.2-5+b5_i386.deb
2025-06-14 16:27
647K
libocp-indent-ocaml-dev_1.9.0-3+b1_i386.deb
2025-12-27 08:29
513K
libocp-indent-ocaml-dev_1.9.0-3+b2_amd64.deb
2026-02-12 12:10
613K
libocp-indent-ocaml_1.8.2-1+b1_amd64.deb
2020-10-14 00:27
267K
libocp-indent-ocaml_1.8.2-1+b1_i386.deb
2020-10-14 00:27
263K
libocp-indent-ocaml_1.8.2-2+b2_amd64.deb
2023-02-12 22:11
270K
libocp-indent-ocaml_1.8.2-2+b2_i386.deb
2023-02-12 22:22
264K
libocp-indent-ocaml_1.8.2-5+b5_amd64.deb
2025-06-14 15:30
278K
libocp-indent-ocaml_1.8.2-5+b5_i386.deb
2025-06-14 16:27
196K
libocp-indent-ocaml_1.9.0-3+b1_i386.deb
2025-12-27 08:29
184K
libocp-indent-ocaml_1.9.0-3+b2_amd64.deb
2026-02-12 12:10
267K
ocp-indent_1.8.2-1+b1_amd64.deb
2020-10-14 00:27
897K
ocp-indent_1.8.2-1+b1_i386.deb
2020-10-14 00:27
860K
ocp-indent_1.8.2-2+b2_amd64.deb
2023-02-12 22:11
954K
ocp-indent_1.8.2-2+b2_i386.deb
2023-02-12 22:22
904K
ocp-indent_1.8.2-5+b5_amd64.deb
2025-06-14 15:30
692K
ocp-indent_1.8.2-5+b5_i386.deb
2025-06-14 16:27
308K
ocp-indent_1.9.0-3+b1_i386.deb
2025-12-27 08:29
362K
ocp-indent_1.9.0-3+b2_amd64.deb
2026-02-12 12:10
883K
Apache Server at mirror.informatik.uni-goettingen.de Port 443