diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-09-26 05:15:01 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-09-26 05:24:31 +0200 |
commit | 3eb278aa9d8abb50666ae1241b3185f422aa15f8 (patch) | |
tree | c5381357d39dca93f6f9423989e8ba783d6bac43 /gnu/packages | |
parent | 3f3d712cc525d65c184cea4c2048a62a4ec87c73 (diff) |
gnu: f3: Update to 7.2.
* gnu/packages/disk.scm (f3): Update to 7.2.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/disk.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/disk.scm b/gnu/packages/disk.scm index cf53142533..4de0745190 100644 --- a/gnu/packages/disk.scm +++ b/gnu/packages/disk.scm @@ -402,7 +402,7 @@ systems. Output format is completely customizable.") (define-public f3 (package (name "f3") - (version "7.1") + (version "7.2") (source (origin (method git-fetch) @@ -411,8 +411,7 @@ systems. Output format is completely customizable.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 - "0zglsmz683jg7f9wc6vmgljyg9w87pbnjw5x4w6x02w8233zvjqf")))) + (base32 "1iwdg0r4wkgc8rynmw1qcqz62l0ldgc8lrazq33msxnk5a818jgy")))) (build-system gnu-build-system) (arguments '(#:tests? #f ; no check target |