From 69b03ecd954a251a4ef7ef33dd95656114360272 Mon Sep 17 00:00:00 2001 From: Guillaume Le Vaillant Date: Thu, 12 Mar 2020 09:43:26 +0100 Subject: gnu: jgmenu: Update to 4.1.0. * gnu/packages/xdisorg.scm (jgmenu): Update to 4.1.0. --- gnu/packages/xdisorg.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 92c958b963..0a58755815 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1971,7 +1971,7 @@ The cutbuffer and clipboard selection are always synchronized.") (define-public jgmenu (package (name "jgmenu") - (version "4.0.1") + (version "4.1.0") (source (origin (method git-fetch) @@ -1981,7 +1981,7 @@ The cutbuffer and clipboard selection are always synchronized.") (file-name (git-file-name name version)) (sha256 (base32 - "1q0rpg2d96sn3rrdi8m7bngnxxqyxilpjxi7skiw4gvpiv1akxjp")))) + "1wsh37rapb1bszlq36hvwxqvfds39hbvbl152m8as4zlh93wfvvk")))) (build-system gnu-build-system) (native-inputs `(("cppcheck" ,cppcheck) -- cgit v1.2.3