From 9b5be575f4deed576ad810aef546a353d39532fa Mon Sep 17 00:00:00 2001 From: Janneke Nieuwenhuizen Date: Wed, 4 Sep 2024 12:55:42 +0200 Subject: [PATCH] gnu: dezyne: Update to 2.18.3. * gnu/packages/dezyne.scm (dezyne): Update. [propagated]: Move into... [inputs]: ...this. Change-Id: I2da63e128e8f990a409b36ffaa38e56029740292 --- gnu/packages/dezyne.scm | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm index 36678223ed2..052d7fa9c51 100644 --- a/gnu/packages/dezyne.scm +++ b/gnu/packages/dezyne.scm @@ -34,23 +34,23 @@ (define-public dezyne (package (name "dezyne") - (version "2.18.2") + (version "2.18.3") (source (origin (method url-fetch) (uri (string-append "https://dezyne.org/download/dezyne/" name "-" version ".tar.gz")) (sha256 - (base32 "0cya5p7y546ldiycz5clv0r8xhxf8zp8iim50y20vhsfgxvh96is")))) - (propagated-inputs (list boost - guile-json-4 - guile-readline - scmackerel)) + (base32 "1c4bi3gpl2fi6pk8z9gmrspg2ad7flkgqjs18bnczswii47yg2s8")))) (inputs (list bash-minimal + boost guile-3.0 + guile-json-4 + guile-readline (libc-utf8-locales-for-target) mcrl2-minimal pth + scmackerel sed)) (native-inputs (list guile-3.0 pkg-config)) (build-system gnu-build-system)