From 418edcd6d8e4fdd1f6027f3545b3a0170142be7e Mon Sep 17 00:00:00 2001 From: gemmaro Date: Thu, 31 Aug 2023 19:38:07 +0900 Subject: [PATCH] gnu: highlight: Update to 4.8. * gnu/packages/pretty-print.scm (highlight): Update to 4.8. Signed-off-by: Maxim Cournoyer --- gnu/packages/pretty-print.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm index 5d15b160f3..929fcce812 100644 --- a/gnu/packages/pretty-print.scm +++ b/gnu/packages/pretty-print.scm @@ -352,7 +352,7 @@ (define-public source-highlight (define-public highlight (package (name "highlight") - (version "4.7") + (version "4.8") (outputs (list "out" "gui")) (source (origin (method url-fetch) @@ -360,7 +360,7 @@ (define-public highlight version ".tar.bz2")) (sha256 (base32 - "1cl21qpgy92w1x53vrn1bgq84mkh6fgayc9k38mz4xmz2yw01nv1")) + "1iggdw4c8pfz1z1c51fyd6x79y1mnc82b6lfkg3vbb44739m5cjs")) (patches (search-patches "highlight-gui-data-dir.patch")))) (build-system gnu-build-system) (arguments