diff options
| -rw-r--r-- | gnu/packages/dezyne.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm index 36678223ed..052d7fa9c5 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) |