Index of /debian-ports/pool/main/n/normaliz
Name
Last modified
Size
Description
Parent Directory
-
normaliz-doc_3.10.3+ds-1_all.deb
2024-05-30 11:19
1.2M
libnormaliz-dev-common_3.10.3+ds-1_all.deb
2024-05-30 11:19
66K
normaliz_3.10.3+ds-1_all.deb
2024-05-30 11:19
8.6K