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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ocp-indent_1.8.2-5.dsc2023-09-12 23:43 1.9K 
[   ]ocp-indent_1.7.0-1.dsc2018-12-16 12:19 2.1K 
[   ]ocp-indent_1.7.0-1.debian.tar.xz2018-12-16 12:19 16K 
[   ]ocp-indent_1.8.2-5.debian.tar.xz2023-09-12 23:43 16K 
[   ]ocp-indent_1.8.2.orig.tar.gz2020-08-18 03:06 107K 
[   ]ocp-indent_1.7.0.orig.tar.gz2018-12-16 12:19 124K 
[   ]libocp-indent-ocaml_1.7.0-1_amd64.deb2018-12-16 12:19 230K 
[   ]libocp-indent-ocaml_1.8.2-5+b2_amd64.deb2024-08-08 00:29 278K 
[   ]ocp-indent_1.7.0-1_amd64.deb2018-12-16 12:19 473K 
[   ]libocp-indent-ocaml-dev_1.7.0-1_amd64.deb2018-12-16 12:19 480K 
[   ]ocp-indent_1.8.2-5+b2_amd64.deb2024-08-08 00:29 722K 
[   ]libocp-indent-ocaml-dev_1.8.2-5+b2_amd64.deb2024-08-08 00:29 760K