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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ocp-indent_1.8.2-5+b2_s390x.deb2024-08-09 10:17 730K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_s390x.deb2024-08-09 10:17 280K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_s390x.deb2024-08-09 10:17 756K 
[ ]ocp-indent_1.8.2-5+b2_mips64el.deb2024-08-08 08:52 402K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_mips64el.deb2024-08-08 08:52 196K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_mips64el.deb2024-08-08 08:52 653K 
[ ]ocp-indent_1.8.2-5+b2_armel.deb2024-08-08 07:30 389K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_armel.deb2024-08-08 07:30 196K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_armel.deb2024-08-08 07:30 653K 
[ ]ocp-indent_1.8.2-5+b2_armhf.deb2024-08-08 07:29 387K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_armhf.deb2024-08-08 07:29 196K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_armhf.deb2024-08-08 07:29 653K 
[ ]ocp-indent_1.8.2-5+b2_i386.deb2024-08-08 07:29 424K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_i386.deb2024-08-08 07:29 196K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_i386.deb2024-08-08 07:29 653K 
[ ]ocp-indent_1.8.2-5+b2_amd64.deb2024-08-08 07:29 722K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_amd64.deb2024-08-08 07:29 278K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_amd64.deb2024-08-08 07:29 760K 
[ ]ocp-indent_1.8.2-5+b3_riscv64.deb2024-08-08 07:29 751K 
[ ]libocp-indent-ocaml_1.8.2-5+b3_riscv64.deb2024-08-08 07:29 285K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b3_riscv64.deb2024-08-08 07:29 818K 
[ ]ocp-indent_1.8.2-5+b2_arm64.deb2024-08-08 07:24 810K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_arm64.deb2024-08-08 07:24 286K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_arm64.deb2024-08-08 07:24 757K 
[ ]ocp-indent_1.8.2-5+b2_ppc64el.deb2024-08-08 07:24 743K 
[ ]libocp-indent-ocaml_1.8.2-5+b2_ppc64el.deb2024-08-08 07:24 282K 
[ ]libocp-indent-ocaml-dev_1.8.2-5+b2_ppc64el.deb2024-08-08 07:24 769K 
[TXT]ocp-indent_1.8.2-5.dsc2023-09-13 06:43 1.9K 
[ ]ocp-indent_1.8.2-5.debian.tar.xz2023-09-13 06:43 16K 
[ ]ocp-indent_1.8.2-2+b2_ppc64el.deb2023-02-12 23:13 1.0M 
[ ]libocp-indent-ocaml_1.8.2-2+b2_ppc64el.deb2023-02-12 23:13 275K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_ppc64el.deb2023-02-12 23:13 565K 
[ ]ocp-indent_1.8.2-2+b2_armhf.deb2023-02-12 22:42 912K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_armhf.deb2023-02-12 22:42 268K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb2023-02-12 22:42 557K 
[ ]ocp-indent_1.8.2-2+b2_arm64.deb2023-02-12 22:27 1.1M 
[ ]libocp-indent-ocaml_1.8.2-2+b2_arm64.deb2023-02-12 22:27 279K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_arm64.deb2023-02-12 22:27 555K 
[ ]ocp-indent_1.8.2-2+b2_i386.deb2023-02-12 22:22 904K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_i386.deb2023-02-12 22:22 264K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb2023-02-12 22:22 553K 
[ ]ocp-indent_1.8.2-2+b2_s390x.deb2023-02-12 22:11 942K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_s390x.deb2023-02-12 22:11 270K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_s390x.deb2023-02-12 22:11 551K 
[ ]ocp-indent_1.8.2-2+b2_amd64.deb2023-02-12 22:11 954K 
[ ]libocp-indent-ocaml_1.8.2-2+b2_amd64.deb2023-02-12 22:11 270K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb2023-02-12 22:11 555K 
[ ]ocp-indent_1.8.2-2+b1_mipsel.deb2023-01-23 19:44 303K 
[ ]libocp-indent-ocaml_1.8.2-2+b1_mipsel.deb2023-01-23 19:44 190K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b1_mipsel.deb2023-01-23 19:44 463K 
[ ]ocp-indent_1.8.2-2+b1_mips64el.deb2023-01-23 19:29 303K 
[ ]libocp-indent-ocaml_1.8.2-2+b1_mips64el.deb2023-01-23 19:29 190K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b1_mips64el.deb2023-01-23 19:29 463K 
[ ]ocp-indent_1.8.2-2+b1_armel.deb2023-01-23 19:14 294K 
[ ]libocp-indent-ocaml_1.8.2-2+b1_armel.deb2023-01-23 19:14 190K 
[ ]libocp-indent-ocaml-dev_1.8.2-2+b1_armel.deb2023-01-23 19:14 463K 
[TXT]ocp-indent_1.8.2-2.dsc2022-10-15 07:50 2.1K 
[ ]ocp-indent_1.8.2-2.debian.tar.xz2022-10-15 07:50 16K 
[ ]ocp-indent_1.8.2-1+b1_mipsel.deb2020-10-14 02:57 291K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_mipsel.deb2020-10-14 02:57 189K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_mipsel.deb2020-10-14 02:57 463K 
[ ]ocp-indent_1.8.2-1+b1_mips64el.deb2020-10-14 01:29 291K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_mips64el.deb2020-10-14 01:29 189K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_mips64el.deb2020-10-14 01:29 463K 
[ ]ocp-indent_1.8.2-1+b1_armhf.deb2020-10-14 00:27 861K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_armhf.deb2020-10-14 00:27 266K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb2020-10-14 00:27 553K 
[ ]ocp-indent_1.8.2-1+b1_arm64.deb2020-10-14 00:27 1.0M 
[ ]libocp-indent-ocaml_1.8.2-1+b1_arm64.deb2020-10-14 00:27 274K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_arm64.deb2020-10-14 00:27 549K 
[ ]ocp-indent_1.8.2-1+b1_armel.deb2020-10-14 00:27 279K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_armel.deb2020-10-14 00:27 188K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_armel.deb2020-10-14 00:27 463K 
[ ]ocp-indent_1.8.2-1+b1_ppc64el.deb2020-10-14 00:27 941K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_ppc64el.deb2020-10-14 00:27 272K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_ppc64el.deb2020-10-14 00:27 559K 
[ ]ocp-indent_1.8.2-1+b1_i386.deb2020-10-14 00:27 860K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_i386.deb2020-10-14 00:27 263K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb2020-10-14 00:27 549K 
[ ]ocp-indent_1.8.2-1+b1_amd64.deb2020-10-14 00:27 897K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_amd64.deb2020-10-14 00:27 267K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb2020-10-14 00:27 550K 
[ ]ocp-indent_1.8.2-1+b1_s390x.deb2020-10-14 00:17 880K 
[ ]libocp-indent-ocaml_1.8.2-1+b1_s390x.deb2020-10-14 00:17 267K 
[ ]libocp-indent-ocaml-dev_1.8.2-1+b1_s390x.deb2020-10-14 00:17 548K 
[ ]ocp-indent_1.8.2.orig.tar.gz2020-08-18 10:06 107K 
[TXT]ocp-indent_1.8.2-1.dsc2020-08-18 10:06 1.9K 
[ ]ocp-indent_1.8.2-1.debian.tar.xz2020-08-18 10:06 16K 
[ ]ocp-indent_1.7.0-1_armhf.deb2018-12-17 17:29 448K 
[ ]libocp-indent-ocaml_1.7.0-1_armhf.deb2018-12-17 17:29 229K 
[ ]libocp-indent-ocaml-dev_1.7.0-1_armhf.deb2018-12-17 17:29 486K 
[ ]ocp-indent_1.7.0-1_i386.deb2018-12-17 17:14 443K 
[ ]libocp-indent-ocaml_1.7.0-1_i386.deb2018-12-17 17:14 223K 
[ ]libocp-indent-ocaml-dev_1.7.0-1_i386.deb2018-12-17 17:14 479K 
[ ]ocp-indent_1.7.0-1_arm64.deb2018-12-17 16:43 540K 
[ ]libocp-indent-ocaml_1.7.0-1_arm64.deb2018-12-17 16:43 241K 
[ ]libocp-indent-ocaml-dev_1.7.0-1_arm64.deb2018-12-17 16:43 483K 
[ ]ocp-indent_1.7.0.orig.tar.gz2018-12-16 19:19 124K 
[ ]ocp-indent_1.7.0-1_amd64.deb2018-12-16 19:19 473K 
[TXT]ocp-indent_1.7.0-1.dsc2018-12-16 19:19 2.1K 
[ ]ocp-indent_1.7.0-1.debian.tar.xz2018-12-16 19:19 16K 
[ ]libocp-indent-ocaml_1.7.0-1_amd64.deb2018-12-16 19:19 230K 
[ ]libocp-indent-ocaml-dev_1.7.0-1_amd64.deb2018-12-16 19:19 480K 
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443