diff options
| -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 5d1c12a053..8e3a1ef499 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.41") + (version "0.1.6") (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 "17x5xjwjbj0smwb7hj6crar790kgc6bbqzkk9kgrjk0j6nbw920c")))) + (base32 "1h4si2p8gj4wfhvn4cshga2kjxf59vd4nwvxkc2i3g5gv3kxhm3k")))) (build-system guile-build-system) (arguments (list |