Index of /boss/pool/urja/main/o/ocp-indent

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ocp-indent_1.8.2.orig.tar.gz2022-04-28 11:04 107K 
[   ]ocp-indent_1.8.2-1.dsc2022-04-28 11:04 1.9K 
[   ]ocp-indent_1.8.2-1.debian.tar.xz2022-04-28 11:04 16K 
[   ]ocp-indent_1.8.2-1+b1_i386.deb2022-04-28 11:04 860K 
[   ]ocp-indent_1.8.2-1+b1_armhf.deb2022-04-28 11:04 861K 
[   ]ocp-indent_1.8.2-1+b1_amd64.deb2022-04-28 11:04 897K 
[   ]libocp-indent-ocaml_1.8.2-1+b1_i386.deb2022-04-28 11:04 263K 
[   ]libocp-indent-ocaml_1.8.2-1+b1_armhf.deb2022-04-28 11:04 266K 
[   ]libocp-indent-ocaml_1.8.2-1+b1_amd64.deb2022-04-28 11:04 267K 
[   ]libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb2022-04-28 11:04 549K 
[   ]libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb2022-04-28 11:04 553K 
[   ]libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb2022-04-28 11:04 550K