Index of /raspbian/pool/main/o/ocp-indent
Name
Last modified
Size
Parent Directory
-
libocp-indent-ocaml-dev_1.7.0-1_armhf.deb
2019-01-19 00:08
486K
libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
553K
libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb
2023-05-21 00:08
557K
libocp-indent-ocaml-dev_1.8.2-5+b2_armhf.deb
2024-09-06 18:08
653K
libocp-indent-ocaml_1.7.0-1_armhf.deb
2019-01-19 00:08
228K
libocp-indent-ocaml_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
265K
libocp-indent-ocaml_1.8.2-2+b2_armhf.deb
2023-05-21 00:08
267K
libocp-indent-ocaml_1.8.2-5+b2_armhf.deb
2024-09-06 18:08
196K
ocp-indent_1.7.0-1.debian.tar.xz
2018-12-17 02:19
16K
ocp-indent_1.7.0-1.dsc
2018-12-17 02:19
2.1K
ocp-indent_1.7.0-1_armhf.deb
2019-01-19 00:08
419K
ocp-indent_1.7.0.orig.tar.gz
2018-12-17 02:19
124K
ocp-indent_1.8.2-1+b1_armhf.deb
2020-11-09 09:23
814K
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-2+b2_armhf.deb
2023-05-21 00:08
855K
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
ocp-indent_1.8.2-5+b2_armhf.deb
2024-09-06 18:08
380K
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
ocp-indent_1.8.2.orig.tar.gz
2020-08-18 16:06
107K
Apache/2.4.41 (Ubuntu) Server at mirror.csie.cyut.edu.tw Port 80