Index of /packages/linux-ubuntu/pool/universe/o/ocp-indent

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ocp-indent_1.8.2.orig.tar.gz2020-08-18 19:13 107K 
[   ]ocp-indent_1.8.2-5build2_amd64.deb2024-08-10 14:48 798K 
[TXT]ocp-indent_1.8.2-5build2.dsc2024-08-09 15:49 2.2K 
[   ]ocp-indent_1.8.2-5build2.debian.tar.xz2024-08-09 15:49 16K 
[   ]ocp-indent_1.8.2-5build1_amd64.deb2023-11-03 08:44 1.1M 
[TXT]ocp-indent_1.8.2-5build1.dsc2023-11-03 08:44 2.2K 
[   ]ocp-indent_1.8.2-5build1.debian.tar.xz2023-11-03 08:44 16K 
[   ]ocp-indent_1.8.2-2build2_amd64.deb2023-02-16 11:58 1.0M 
[TXT]ocp-indent_1.8.2-2build2.dsc2023-02-16 11:06 2.2K 
[   ]ocp-indent_1.8.2-2build2.debian.tar.xz2023-02-16 11:06 16K 
[   ]ocp-indent_1.8.2-1build4_amd64.deb2022-01-28 15:03 1.1M 
[TXT]ocp-indent_1.8.2-1build4.dsc2022-01-28 15:03 2.3K 
[   ]ocp-indent_1.8.2-1build4.debian.tar.xz2022-01-28 15:03 16K 
[   ]ocp-indent_1.7.0.orig.tar.gz2018-12-18 00:13 124K 
[   ]ocp-indent_1.7.0-2build1_amd64.deb2020-02-21 09:18 515K 
[TXT]ocp-indent_1.7.0-2build1.dsc2020-02-21 08:53 2.3K 
[   ]ocp-indent_1.7.0-2build1.debian.tar.xz2020-02-21 08:53 16K 
[   ]ocp-indent_1.5.3.orig.tar.gz2016-11-02 04:43 141K 
[   ]ocp-indent_1.5.3-2build1_i386.deb2017-10-28 12:19 394K 
[   ]ocp-indent_1.5.3-2build1_amd64.deb2017-10-28 12:19 420K 
[TXT]ocp-indent_1.5.3-2build1.dsc2017-10-28 12:18 2.2K 
[   ]ocp-indent_1.5.3-2build1.debian.tar.xz2017-10-28 12:18 17K 
[   ]ocp-indent_1.5.2.orig.tar.gz2016-01-31 18:24 139K 
[   ]ocp-indent_1.5.2-2_i386.deb2016-01-31 18:25 317K 
[   ]ocp-indent_1.5.2-2_amd64.deb2016-01-31 18:24 330K 
[TXT]ocp-indent_1.5.2-2.dsc2016-01-31 18:24 2.2K 
[   ]ocp-indent_1.5.2-2.debian.tar.xz2016-01-31 18:24 17K 
[   ]libocp-indent-ocaml_1.8.2-5build2_amd64.deb2024-08-10 14:48 288K 
[   ]libocp-indent-ocaml_1.8.2-5build1_amd64.deb2023-11-03 08:44 313K 
[   ]libocp-indent-ocaml_1.8.2-2build2_amd64.deb2023-02-16 11:58 313K 
[   ]libocp-indent-ocaml_1.8.2-1build4_amd64.deb2022-01-28 15:03 319K 
[   ]libocp-indent-ocaml_1.7.0-2build1_amd64.deb2020-02-21 09:18 229K 
[   ]libocp-indent-ocaml-dev_1.8.2-5build2_amd64.deb2024-08-10 14:48 774K 
[   ]libocp-indent-ocaml-dev_1.8.2-5build1_amd64.deb2023-11-03 08:44 640K 
[   ]libocp-indent-ocaml-dev_1.8.2-2build2_amd64.deb2023-02-16 11:58 639K 
[   ]libocp-indent-ocaml-dev_1.8.2-1build4_amd64.deb2022-01-28 15:03 644K 
[   ]libocp-indent-ocaml-dev_1.7.0-2build1_amd64.deb2020-02-21 09:18 506K 
[   ]libocp-indent-lib-ocaml_1.5.3-2build1_i386.deb2017-10-28 12:19 96K 
[   ]libocp-indent-lib-ocaml_1.5.3-2build1_amd64.deb2017-10-28 12:19 100K 
[   ]libocp-indent-lib-ocaml_1.5.2-2_i386.deb2016-01-31 18:25 91K 
[   ]libocp-indent-lib-ocaml_1.5.2-2_amd64.deb2016-01-31 18:24 94K 
[   ]libocp-indent-lib-ocaml-dev_1.5.3-2build1_i386.deb2017-10-28 12:19 132K 
[   ]libocp-indent-lib-ocaml-dev_1.5.3-2build1_amd64.deb2017-10-28 12:19 132K 
[   ]libocp-indent-lib-ocaml-dev_1.5.2-2_i386.deb2016-01-31 18:25 128K 
[   ]libocp-indent-lib-ocaml-dev_1.5.2-2_amd64.deb2016-01-31 18:24 128K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443