Index of /raspbian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Metadata
Parent Directory
-
libocp-indent-ocaml-dev_1.7.0-1_armhf.deb
18-Jan-2019 16:08
486K
Details
libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb
09-Nov-2020 01:23
553K
Details
libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb
20-May-2023 16:08
557K
Details
libocp-indent-ocaml-dev_1.8.2-5+b2_armhf.deb
06-Sep-2024 10:08
653K
Details
libocp-indent-ocaml_1.7.0-1_armhf.deb
18-Jan-2019 16:08
228K
Details
libocp-indent-ocaml_1.8.2-1+b1_armhf.deb
09-Nov-2020 01:23
265K
Details
libocp-indent-ocaml_1.8.2-2+b2_armhf.deb
20-May-2023 16:08
267K
Details
libocp-indent-ocaml_1.8.2-5+b2_armhf.deb
06-Sep-2024 10:08
196K
Details
ocp-indent_1.7.0-1.debian.tar.xz
16-Dec-2018 18:19
16K
Details
ocp-indent_1.7.0-1.dsc
16-Dec-2018 18:19
2.1K
Details
ocp-indent_1.7.0-1_armhf.deb
18-Jan-2019 16:08
419K
Details
ocp-indent_1.7.0.orig.tar.gz
16-Dec-2018 18:19
124K
Details
ocp-indent_1.8.2-1+b1_armhf.deb
09-Nov-2020 01:23
814K
Details
ocp-indent_1.8.2-1.debian.tar.xz
18-Aug-2020 08:06
16K
Details
ocp-indent_1.8.2-1.dsc
18-Aug-2020 08:06
1.9K
Details
ocp-indent_1.8.2-2+b2_armhf.deb
20-May-2023 16:08
855K
Details
ocp-indent_1.8.2-2.debian.tar.xz
15-Oct-2022 05:50
16K
Details
ocp-indent_1.8.2-2.dsc
15-Oct-2022 05:50
2.1K
Details
ocp-indent_1.8.2-5+b2_armhf.deb
06-Sep-2024 10:08
380K
Details
ocp-indent_1.8.2-5.debian.tar.xz
13-Sep-2023 04:43
16K
Details
ocp-indent_1.8.2-5.dsc
13-Sep-2023 04:43
1.9K
Details
ocp-indent_1.8.2.orig.tar.gz
18-Aug-2020 08:06
107K
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80
MirrorBrain
powered by
Apache