Index of /debian-ports/pool/main/n/normaliz
Name
Last modified
Size
Description
Parent Directory
-
libnormaliz-dev-common_3.10.3+ds-2_all.deb
2024-09-14 02:44
66K
normaliz-doc_3.10.3+ds-2_all.deb
2024-09-14 02:44
1.2M
normaliz_3.10.3+ds-2_all.deb
2024-09-14 02:44
8.6K