Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - givaro-4.1.1-fix-pc-libdir.patch 2022-09-02 13:40 549 givaro-4.2.0-configure.ac-fix-a-bashism.patch 2024-02-11 00:11 916 givaro-4.2.0-cstdint.patch 2024-02-11 00:11 1.3K givaro-4.2.0-gcc14.patch 2024-03-30 16:44 1.0K givaro-4.2.0-gcc15.patch 2024-10-27 04:41 813