Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
parmetis-4.0.3_p20230326-respect-user-flags.patch 2023-05-02 16:40 1.4K
parmetis-4.0.3_p20230326-multilib.patch 2023-05-02 16:40 1.1K
parmetis-4.0.3-02-unbundle-metis.patch 2021-07-16 14:09 300
parmetis-4.0.3-01-cmake-paths.patch 2021-07-16 14:09 1.1K