Index of /debian-ports/pool-ppc64/main/o/ocsigenserver

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ocsigenserver_7.0.0-1_ppc64.deb2026-03-18 18:03 5.5M 
[ ]ocsigenserver_7.0.0-1_ppc64.buildinfo2026-03-18 18:03 12K 
[ ]ocsigenserver-dbgsym_7.0.0-1_ppc64.deb2026-03-18 18:03 47K 
[ ]libocsigenserver-ocaml_7.0.0-1_ppc64.deb2026-03-18 18:03 497K 
[ ]libocsigenserver-ocaml-dev_7.0.0-1_ppc64.deb2026-03-18 18:03 1.3M