diff options
Diffstat (limited to 'gnu/packages/dezyne.scm')
| -rw-r--r-- | gnu/packages/dezyne.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm index dbd6f728b3..7d6c39ff49 100644 --- a/gnu/packages/dezyne.scm +++ b/gnu/packages/dezyne.scm @@ -34,14 +34,14 @@ (define-public dezyne (package (name "dezyne") - (version "2.18.1") + (version "2.18.2") (source (origin (method url-fetch) (uri (string-append "https://dezyne.org/download/dezyne/" name "-" version ".tar.gz")) (sha256 - (base32 "0i8a8bzsh58mpgrgb0sg0qfszmf144grdmr741qwxwww5b2nsmbj")))) + (base32 "0cya5p7y546ldiycz5clv0r8xhxf8zp8iim50y20vhsfgxvh96is")))) (propagated-inputs (list boost guile-json-4 guile-readline @@ -132,7 +132,7 @@ has formal semantics expressed in @url{https://mcrl2.org,mCRL2}.") (arguments (list #:modules `((ice-9 popen) - ,@%default-gnu-modules) + ,@%default-gnu-imported-modules) #:phases #~(modify-phases %standard-phases (add-before 'configure 'setenv |