Index of /raspbian/pool/main/o/ocp-indent
Name
Last modified
Size
Parent Directory
-
ocp-indent_1.8.2-1.debian.tar.xz
2020-08-18 16:06
16K
ocp-indent_1.8.2-1.dsc
2020-08-18 16:06
1.9K
ocp-indent_1.8.2.orig.tar.gz
2020-08-18 16:06
107K
libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
553K
libocp-indent-ocaml_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
265K
ocp-indent_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
814K
ocp-indent_1.8.2-2.debian.tar.xz
2022-10-15 13:50
16K
ocp-indent_1.8.2-2.dsc
2022-10-15 13:50
2.1K
libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb
2023-05-21 00:08
557K
libocp-indent-ocaml_1.8.2-2+b2_armhf.deb
2023-05-21 00:08
267K
ocp-indent_1.8.2-2+b2_armhf.deb
2023-05-21 00:08
855K
ocp-indent_1.8.2-5.debian.tar.xz
2023-09-13 12:43
16K
ocp-indent_1.8.2-5.dsc
2023-09-13 12:43
1.9K
libocp-indent-ocaml-dev_1.8.2-5+b5_armhf.deb
2025-06-27 00:08
647K
libocp-indent-ocaml_1.8.2-5+b5_armhf.deb
2025-06-27 00:08
196K
ocp-indent_1.8.2-5+b5_armhf.deb
2025-06-27 00:08
261K
ocp-indent_1.9.0.orig.tar.gz
2025-10-16 15:12
107K
ocp-indent_1.9.0-3.debian.tar.xz
2025-10-21 21:30
16K
ocp-indent_1.9.0-3.dsc
2025-10-21 21:30
2.0K
Apache/2.4.41 (Ubuntu) Server at mirror.csie.cyut.edu.tw Port 443