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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libnormaliz-dev-common_3.10.3+ds-1_all.deb2024-05-30 05:19 66K 
[ ]normaliz-doc_3.10.3+ds-1_all.deb2024-05-30 05:19 1.2M 
[ ]normaliz_3.10.3+ds-1_all.deb2024-05-30 05:19 8.6K 
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80