Index of /debian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb
2020-10-13 17:27
549K
libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb
2023-02-12 15:22
553K
libocp-indent-ocaml-dev_1.8.2-5+b5_i386.deb
2025-06-14 09:27
647K
libocp-indent-ocaml-dev_1.8.2-5+b6_riscv64.deb
2025-06-14 11:46
812K
libocp-indent-ocaml-dev_1.9.0-3_i386.deb
2025-10-21 08:50
650K
libocp-indent-ocaml-dev_1.9.0-3_riscv64.deb
2025-10-21 08:50
817K
libocp-indent-ocaml_1.8.2-1+b1_i386.deb
2020-10-13 17:27
263K
libocp-indent-ocaml_1.8.2-2+b2_i386.deb
2023-02-12 15:22
264K
libocp-indent-ocaml_1.8.2-5+b5_i386.deb
2025-06-14 09:27
196K
libocp-indent-ocaml_1.8.2-5+b6_riscv64.deb
2025-06-14 11:46
286K
libocp-indent-ocaml_1.9.0-3_i386.deb
2025-10-21 08:50
197K
libocp-indent-ocaml_1.9.0-3_riscv64.deb
2025-10-21 08:50
288K
ocp-indent_1.8.2-1+b1_i386.deb
2020-10-13 17:27
860K
ocp-indent_1.8.2-1.debian.tar.xz
2020-08-18 03:06
16K
ocp-indent_1.8.2-2+b2_i386.deb
2023-02-12 15:22
904K
ocp-indent_1.8.2-2.debian.tar.xz
2022-10-15 00:50
16K
ocp-indent_1.8.2-5+b5_i386.deb
2025-06-14 09:27
308K
ocp-indent_1.8.2-5+b6_riscv64.deb
2025-06-14 11:46
718K
ocp-indent_1.8.2-5.debian.tar.xz
2023-09-12 23:43
16K
ocp-indent_1.9.0-3.debian.tar.xz
2025-10-21 08:30
16K
ocp-indent_1.9.0-3_i386.deb
2025-10-21 08:50
353K
ocp-indent_1.9.0-3_riscv64.deb
2025-10-21 08:50
889K
Apache/2.4.29 (Ubuntu) Server at debian.gcfl.net Port 443