Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80Name Last modified Size Description
Parent Directory -
givaro-4.2.0-gcc14.patch 2024-03-30 16:44 1.0K
givaro-4.2.0-cstdint.patch 2024-02-11 00:11 1.3K
givaro-4.2.0-configure.ac-fix-a-bashism.patch 2024-02-11 00:11 916
givaro-4.1.1-fix-pc-libdir.patch 2022-09-02 13:40 549