files.etlam.eu - /linux/debian/mirror/debian-ports-20240608/pool-ia64/main/o/ocp-indent/

[To Parent Directory]

 7/13/2024  4:32 AM       475364 libocp-indent-ocaml-dev_1.8.2-5+b1_ia64.deb
 7/13/2024  4:32 AM       194712 libocp-indent-ocaml_1.8.2-5+b1_ia64.deb
 7/13/2024  4:32 AM        27100 ocp-indent-dbgsym_1.8.2-5+b1_ia64.deb
 7/13/2024  4:32 AM       357844 ocp-indent_1.8.2-5+b1_ia64.deb