Raspbian mirror hosted by Sargasso Networks.

Index of /raspbian/pool/main/o/ocp-indent/

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libocp-indent-ocaml-dev_1.7.0-1_armhf.deb2019-01-18 16:08 486K
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb2020-11-09 01:23 553K
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb2023-05-20 17:08 557K
[ ]libocp-indent-ocaml-dev_1.8.2-5+b1_armhf.deb2023-10-03 23:08 559K
[ ]libocp-indent-ocaml_1.7.0-1_armhf.deb2019-01-18 16:08 228K
[ ]libocp-indent-ocaml_1.8.2-1+b1_armhf.deb2020-11-09 01:23 265K
[ ]libocp-indent-ocaml_1.8.2-2+b2_armhf.deb2023-05-20 17:08 267K
[ ]libocp-indent-ocaml_1.8.2-5+b1_armhf.deb2023-10-03 23:08 266K
[ ]ocp-indent_1.7.0-1.debian.tar.xz2018-12-16 18:19 16K
[ ]ocp-indent_1.7.0-1.dsc2018-12-16 18:19 2.1K
[ ]ocp-indent_1.7.0-1_armhf.deb2019-01-18 16:08 419K
[ ]ocp-indent_1.7.0.orig.tar.gz2018-12-16 18:19 124K
[ ]ocp-indent_1.8.2-1+b1_armhf.deb2020-11-09 01:23 814K
[ ]ocp-indent_1.8.2-1.debian.tar.xz2020-08-18 09:06 16K
[ ]ocp-indent_1.8.2-1.dsc2020-08-18 09:06 1.9K
[ ]ocp-indent_1.8.2-2+b2_armhf.deb2023-05-20 17:08 855K
[ ]ocp-indent_1.8.2-2.debian.tar.xz2022-10-15 06:50 16K
[ ]ocp-indent_1.8.2-2.dsc2022-10-15 06:50 2.1K
[ ]ocp-indent_1.8.2-5+b1_armhf.deb2023-10-03 23:08 892K
[ ]ocp-indent_1.8.2-5.debian.tar.xz2023-09-13 05:43 16K
[ ]ocp-indent_1.8.2-5.dsc2023-09-13 05:43 1.9K
[ ]ocp-indent_1.8.2.orig.tar.gz2020-08-18 09:06 107K