03/07: gnu: julia-irtools: Update to 0.4.7.

[guix-commits]

efraim pushed a commit to branch master
in repository guix.

commit a87f448cbf0c9ec085b7e5caf2f94ffb96b83ccf
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Fri Dec 9 11:24:57 2022 +0200

    gnu: julia-irtools: Update to 0.4.7.
    
    * gnu/packages/julia-xyz.scm (julia-irtools): Update to 0.4.7.
---
 gnu/packages/julia-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/julia-xyz.scm b/gnu/packages/julia-xyz.scm
index 3c813bdc15..98617c2c68 100644
--- a/gnu/packages/julia-xyz.scm
+++ b/gnu/packages/julia-xyz.scm
@@ -3089,7 +3089,7 @@ as a string together with the return value.")
 (define-public julia-irtools
   (package
     (name "julia-irtools")
-    (version "0.4.3")
+    (version "0.4.7")
     (source
      (origin
        (method git-fetch)
@@ -3098,7 +3098,7 @@ as a string together with the return value.")
              (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "11334fcg2slpwcj0raxf457brhf7pxglgxc6cy8q58ggrpxqfqql"))))
+        (base32 "1faddim4gp9pgyadgxi7zdqpdn6qkh7acqpdy29ixpbnb0wgla5r"))))
     (build-system julia-build-system)
     (propagated-inputs
      (list julia-macrotools))