diff options
| author | Josep Bigorra <jjbigorra@gmail.com> | 2025-07-25 08:36:55 +0200 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-07-25 10:34:12 -0500 |
| commit | a97236aec41e760bf5f413de084f2b0a9d023b2c (patch) | |
| tree | 97485a69bed1e190b50d66ee6650bddc6ecc3e76 /gnu/packages/guile-xyz.scm | |
| parent | b6980eb588f816a9ec449747d3426edfb5f184ec (diff) | |
gnu: guile-veritas: Update to 0.1.6.
* gnu/packages/guile-xyz.scm (guile-veritas): Update to 0.1.6.
Change-Id: I846ee7892ce5b642cb2fe89c1a4ce76287a7f128
Signed-off-by: jgart <jgart@dismail.de>
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 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 |