File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
gprbuild-2020-gentoo.patch | 11.4 KiB | 2020-Jun-16 20:39 |
gprbuild-2021-ar.patch | 451 B | 2021-Dec-22 22:09 |
gprbuild-2021-gentoo.patch | 11.4 KiB | 2021-May-31 09:09 |
gprbuild-2021-nm.patch | 438 B | 2021-Dec-23 08:09 |
gprbuild-2021-runpath.patch | 303 B | 2022-Mar-19 22:40 |
gprbuild-22.0.0-2020.patch | 1.2 KiB | 2022-Feb-27 10:09 |
gprbuild-22.0.0-ar.patch | 468 B | 2021-Dec-23 08:09 |
gprbuild-22.0.0-gentoo.patch | 2.0 KiB | 2022-Nov-24 20:40 |
gprbuild-22.0.0-nm.patch | 410 B | 2021-Dec-23 08:09 |