branch master updated: gnu: dezyne: Update to 2.15.1.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

janneke pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 08565c07dd gnu: dezyne: Update to 2.15.1.
08565c07dd is described below

commit 08565c07ddf45292175a85e60bdd604705ef5d15
Author: Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
AuthorDate: Tue May 31 14:54:47 2022 +0200

    gnu: dezyne: Update to 2.15.1.
    
    * gnu/packages/dezyne.scm (dezyne)[source]: Update to 2.15.1.
    [arguments]: Remove `disable-tests' phase.
---
 gnu/packages/dezyne.scm | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm
index 9b3b3c43f6..af1abf11a9 100644
--- a/gnu/packages/dezyne.scm
+++ b/gnu/packages/dezyne.scm
@@ -31,14 +31,14 @@
 (define-public dezyne
   (package
     (name "dezyne")
-    (version "2.15.0")
+    (version "2.15.1")
     (source
      (origin
        (method url-fetch)
        (uri (string-append "https://dezyne.org/download/dezyne/";
                            name "-" version ".tar.gz"))
        (sha256
-        (base32 "1sh9chg5q10c3bzsmgl1pb7pmdf04j2lqszhw8jk5qlxr9y8ybcq"))))
+        (base32 "0yid2a9xvp4hc7fry07zp0q2hva89czri6i1m2d1n22srh7r0my6"))))
     (inputs (list bash-minimal
                   guile-3.0-latest
                   guile-json-4
@@ -53,15 +53,6 @@
                   ,@%gnu-build-system-modules)
       #:phases
       #~(modify-phases %standard-phases
-          (add-after 'unpack 'disable-tests
-            (lambda _
-              ;; The mCRL2 output for these tests is unstable, i.e., varies
-              ;; between different builds.
-              (substitute* "Makefile.in"
-                (("test/all/compliance_blocking_double_release ") " ")
-                (("test/all/illegal_external_nonsynchronous ") " ")
-                (("test/all/livelock_synchronous_illegal ") " ")
-                (("test/all/queuefull_external_sync ") " "))))
           (add-before 'configure 'setenv
             (lambda _
               (setenv "GUILE_AUTO_COMPILE" "0")))