Index of /kali/pool/main/o/ocp-indent
Name Last modified Size Description
Parent Directory -
ocp-indent_1.8.2-5+b5_arm64.deb 2025-06-15 00:25 767K
libocp-indent-ocaml_1.8.2-5+b5_arm64.deb 2025-06-15 00:25 287K
libocp-indent-ocaml-dev_1.8.2-5+b5_arm64.deb 2025-06-15 00:25 751K
ocp-indent_1.8.2-5+b5_armhf.deb 2025-06-15 00:25 269K
libocp-indent-ocaml_1.8.2-5+b5_armhf.deb 2025-06-15 00:25 196K
libocp-indent-ocaml-dev_1.8.2-5+b5_armhf.deb 2025-06-15 00:25 647K
ocp-indent_1.8.2-5+b5_i386.deb 2025-06-14 22:27 308K
libocp-indent-ocaml_1.8.2-5+b5_i386.deb 2025-06-14 22:27 196K
libocp-indent-ocaml-dev_1.8.2-5+b5_i386.deb 2025-06-14 22:27 647K
ocp-indent_1.8.2-5+b5_amd64.deb 2025-06-14 21:30 692K
libocp-indent-ocaml_1.8.2-5+b5_amd64.deb 2025-06-14 21:30 278K
libocp-indent-ocaml-dev_1.8.2-5+b5_amd64.deb 2025-06-14 21:30 754K
ocp-indent_1.8.2-5.dsc 2023-09-13 12:43 1.9K
ocp-indent_1.8.2-5.debian.tar.xz 2023-09-13 12:43 16K
ocp-indent_1.8.2.orig.tar.gz 2020-08-18 16:06 107K
Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443