Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 443Name Last modified Size Description
Parent Directory -
metadata.xml 2022-05-08 18:40 823
Manifest 2023-05-22 04:12 1.5K
normaliz-3.9.3.ebuild 2022-08-16 10:10 1.6K
normaliz-3.10.0.ebuild 2023-05-22 04:12 1.6K