Index of /ubuntu/pool/multiverse/o/ocp-indent

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]ocp-indent_1.8.2-5build1.dsc2024-05-09 08:49 2.2K 
[TXT]ocp-indent_1.8.2-1build4.dsc2023-10-11 21:46 2.3K 
[TXT]ocp-indent_1.7.0-2build1.dsc2023-10-11 18:00 2.3K 
[ ]ocp-indent_1.7.0-2build1.debian.tar.xz2023-10-11 18:00 16K 
[ ]ocp-indent_1.8.2-1build4.debian.tar.xz2023-10-11 21:46 16K 
[ ]ocp-indent_1.8.2-5build1.debian.tar.xz2024-05-09 08:49 16K 
[ ]ocp-indent_1.8.2.orig.tar.gz2023-10-11 21:46 107K 
[ ]ocp-indent_1.7.0.orig.tar.gz2023-10-11 18:00 124K 
[ ]libocp-indent-ocaml_1.7.0-2build1_amd64.deb2023-10-11 19:04 229K 
[ ]libocp-indent-ocaml_1.8.2-5build1_amd64.deb2024-05-09 07:04 313K 
[ ]libocp-indent-ocaml_1.8.2-1build4_amd64.deb2023-10-11 22:01 319K 
[ ]libocp-indent-ocaml-dev_1.7.0-2build1_amd64.deb2023-10-11 19:05 506K 
[ ]ocp-indent_1.7.0-2build1_amd64.deb2023-10-11 18:14 515K 
[ ]libocp-indent-ocaml-dev_1.8.2-5build1_amd64.deb2024-05-09 08:46 640K 
[ ]libocp-indent-ocaml-dev_1.8.2-1build4_amd64.deb2023-10-11 23:21 644K 
[ ]ocp-indent_1.8.2-1build4_amd64.deb2023-10-11 23:33 1.1M 
[ ]ocp-indent_1.8.2-5build1_amd64.deb2024-05-09 07:08 1.1M 
Apache Server at pkgs.geos.ed.ac.uk Port 443