Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 443Name Last modified Size Description
Parent Directory -
Manifest 2023-01-14 14:13 3.0K
files/ 2023-03-28 19:40 -
metadata.xml 2022-08-26 13:10 1.2K
petsc-3.16.0-r1.ebuild 2023-01-14 14:13 5.3K
petsc-3.17.1-r1.ebuild 2023-01-14 14:13 5.3K
petsc-3.18.2.ebuild 2023-01-14 14:13 7.2K