Marius Bakke
|
9fcc169d6c
|
gnu: source-highlight: Fix build with newer GCC.
* gnu/packages/patches/source-highlight-gcc-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/pretty-print.scm (source-highlight)[source](patches): New field.
|
2022-07-23 19:43:11 +02:00 |
|