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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libnormaliz-dev-common_3.10.4+ds-1_all.deb2024-10-07 19:07 67K 
[ ]normaliz-doc_3.10.4+ds-1_all.deb2024-10-07 19:07 1.2M 
[ ]normaliz_3.10.4+ds-1_all.deb2024-10-07 19:07 8.7K