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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ocp-indent_1.8.2.orig.tar.gz2024-03-21 12:34 107K 
[TXT]ocp-indent_1.8.2-2.dsc2024-03-21 12:34 2.1K 
[   ]ocp-indent_1.8.2-2.debian.tar.xz2024-03-21 12:34 16K 
[   ]ocp-indent_1.8.2-2+b2_amd64.deb2024-03-21 12:34 954K 
[TXT]ocp-indent_1.8.2-1.dsc2024-03-21 12:34 1.9K 
[   ]ocp-indent_1.8.2-1.debian.tar.xz2024-03-21 12:34 16K 
[   ]ocp-indent_1.8.2-1+b1_amd64.deb2024-03-21 12:34 897K 
[   ]ocp-indent_1.7.0.orig.tar.gz2024-03-21 12:34 124K 
[   ]ocp-indent_1.7.0-1_amd64.deb2024-03-21 12:34 473K 
[TXT]ocp-indent_1.7.0-1.dsc2024-03-21 12:34 2.1K 
[   ]ocp-indent_1.7.0-1.debian.tar.xz2024-03-21 12:34 16K 
[   ]libocp-indent-ocaml_1.8.2-2+b2_amd64.deb2024-03-21 12:34 270K 
[   ]libocp-indent-ocaml_1.8.2-1+b1_amd64.deb2024-03-21 12:34 267K 
[   ]libocp-indent-ocaml_1.7.0-1_amd64.deb2024-03-21 12:34 230K 
[   ]libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb2024-03-21 12:34 555K 
[   ]libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb2024-03-21 12:34 550K 
[   ]libocp-indent-ocaml-dev_1.7.0-1_amd64.deb2024-03-21 12:34 480K 

Apache/2.4.52 (Ubuntu) Server at mirror.virtury.com Port 80