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
..
2022-02-07 14:02:26 +01:00
2022-06-15 00:25:22 +02:00
2022-07-07 22:16:11 +01:00
2022-05-31 14:54:06 -04:00
2022-05-31 14:54:06 -04:00
2022-05-31 14:54:06 -04:00
2022-06-30 23:26:16 +02:00