diff options
| author | Jared Baur <jaredbaur@fastmail.com> | 2023-09-15 13:04:08 -0700 |
|---|---|---|
| committer | Jared Baur <jaredbaur@fastmail.com> | 2023-09-15 13:04:08 -0700 |
| commit | f52c368f1700c810e16c5d918e09a87559c15509 (patch) | |
| tree | 1821e78a34d884b1252afed87663a35087192091 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | dc1668abd00fd03f9399f1e65d9a485b010405dc (diff) | |
coreboot-toolchain: Unpin gnat
Gnat11 is currently broken, but I cannot find anywhere in coreboot's
build instructions that gnat should be pinned at 11, so switch the
toolchain from using gnat11 to gnat, which is currently version 12.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions