Index of /debian-ports/pool/main/n/normaliz

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libnormaliz-dev-common_3.10.5+ds-3_all.deb2025-08-18 00:29 67K 
[ ]normaliz-doc_3.10.5+ds-3_all.deb2025-08-18 00:29 1.2M 
[ ]normaliz_3.10.5+ds-3_all.deb2025-08-18 00:29 9.0K