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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb2025-07-30 23:03 555K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_arm64.deb2025-07-30 23:03 555K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb2025-08-02 16:42 557K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b5_amd64.deb2025-07-30 23:03 754K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b5_arm64.deb2025-07-30 23:03 751K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b5_armhf.deb2025-08-02 16:42 647K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b6_riscv64.deb2025-07-31 00:11 812K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_amd64.deb2025-07-30 23:03 270K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_arm64.deb2025-07-30 23:03 279K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_armhf.deb2025-08-02 16:42 268K 
[ ]libocp-indent-ocaml_1.8.2-5+b5_amd64.deb2025-07-30 23:03 278K 
[ ]libocp-indent-ocaml_1.8.2-5+b5_arm64.deb2025-07-30 23:03 287K 
[ ]libocp-indent-ocaml_1.8.2-5+b5_armhf.deb2025-08-02 16:42 196K 
[ ]libocp-indent-ocaml_1.8.2-5+b6_riscv64.deb2025-07-31 00:11 286K 
[ ]ocp-indent_1.8.2-2+b2_amd64.deb2025-07-30 23:03 954K 
[ ]ocp-indent_1.8.2-2+b2_arm64.deb2025-07-30 23:03 1.1M 
[ ]ocp-indent_1.8.2-2+b2_armhf.deb2025-08-02 16:42 912K 
[ ]ocp-indent_1.8.2-5+b5_amd64.deb2025-07-30 23:03 692K 
[ ]ocp-indent_1.8.2-5+b5_arm64.deb2025-07-30 23:03 767K 
[ ]ocp-indent_1.8.2-5+b5_armhf.deb2025-08-02 16:42 269K 
[ ]ocp-indent_1.8.2-5+b6_riscv64.deb2025-07-31 00:11 718K 
Apache/2.4.58 (Ubuntu) Server at mirror.alexanderwagner.xyz Port 443