gnu: dezyne: Update to 2.18.3.

* gnu/packages/dezyne.scm (dezyne): Update.
[propagated]: Move into...
[inputs]: ...this.

Change-Id: I2da63e128e8f990a409b36ffaa38e56029740292
This commit is contained in:
Janneke Nieuwenhuizen 2024-09-04 12:55:42 +02:00
parent c4a2b99f7d
commit 9b5be575f4
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

View file

@ -34,23 +34,23 @@ (define-module (gnu packages dezyne)
(define-public dezyne (define-public dezyne
(package (package
(name "dezyne") (name "dezyne")
(version "2.18.2") (version "2.18.3")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "https://dezyne.org/download/dezyne/" (uri (string-append "https://dezyne.org/download/dezyne/"
name "-" version ".tar.gz")) name "-" version ".tar.gz"))
(sha256 (sha256
(base32 "0cya5p7y546ldiycz5clv0r8xhxf8zp8iim50y20vhsfgxvh96is")))) (base32 "1c4bi3gpl2fi6pk8z9gmrspg2ad7flkgqjs18bnczswii47yg2s8"))))
(propagated-inputs (list boost
guile-json-4
guile-readline
scmackerel))
(inputs (list bash-minimal (inputs (list bash-minimal
boost
guile-3.0 guile-3.0
guile-json-4
guile-readline
(libc-utf8-locales-for-target) (libc-utf8-locales-for-target)
mcrl2-minimal mcrl2-minimal
pth pth
scmackerel
sed)) sed))
(native-inputs (list guile-3.0 pkg-config)) (native-inputs (list guile-3.0 pkg-config))
(build-system gnu-build-system) (build-system gnu-build-system)