diff options
| author | Josep Bigorra <jjbigorra@gmail.com> | 2025-07-24 08:58:25 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-07-24 11:44:11 +0200 |
| commit | 87c93be584838c397e9852b9b07cbc279e5266f7 (patch) | |
| tree | f9ed076c4c9f2d58f70fce80e4b2eafcde691a5a /gnu/packages/guile-xyz.scm | |
| parent | 30fae6ab28bf496359b550978ba2e07536456583 (diff) | |
gnu: guile-veritas: Update to 0.0.41.
* gnu/packages/guile-xyz.scm (guile-veritas): Update to 0.0.41.
Change-Id: I1120250a10d3f215d3b62d9309c64614b7d5dd21
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/guile-xyz.scm')
| -rw-r--r-- | gnu/packages/guile-xyz.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm index 5d4291ffeb..5d1c12a053 100644 --- a/gnu/packages/guile-xyz.scm +++ b/gnu/packages/guile-xyz.scm @@ -7073,7 +7073,7 @@ in a large number of randomly generated test cases.") (define-public guile-veritas (package (name "guile-veritas") - (version "0.0.28") + (version "0.0.41") (source (origin (method git-fetch) @@ -7082,7 +7082,7 @@ in a large number of randomly generated test cases.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "068yhsaiz2l4wim6iagfjl059fdsfnmkxnhwp64dri556viijjdj")))) + (base32 "17x5xjwjbj0smwb7hj6crar790kgc6bbqzkk9kgrjk0j6nbw920c")))) (build-system guile-build-system) (arguments (list |