efraim pushed a commit to branch rust-team
in repository guix.
commit cef367e5cce7c89d6c5a30d423f30016b87ae1a7
Author: Efraim Flashner <[email protected]>
AuthorDate: Wed Dec 4 11:49:19 2024 +0200
gnu: rust-fiat-crypto-0.2: Update to 0.2.9.
* gnu/packages/crates-crypto.scm (rust-fiat-crypto-0.2): Update to
0.2.9.
Change-Id: Ib03bcd80b1618edc9733068442c25bae6837f5d8
---
gnu/packages/crates-crypto.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/crates-crypto.scm b/gnu/packages/crates-crypto.scm
index 22a218aa4d..cace897961 100644
--- a/gnu/packages/crates-crypto.scm
+++ b/gnu/packages/crates-crypto.scm
@@ -2582,14 +2582,14 @@ curve forms, scalars, points, and public/secret keys
composed thereof.")
(define-public rust-fiat-crypto-0.2
(package
(name "rust-fiat-crypto")
- (version "0.2.6")
+ (version "0.2.9")
(source
(origin
(method url-fetch)
(uri (crate-uri "fiat-crypto" version))
(file-name (string-append name "-" version ".tar.gz"))
(sha256
- (base32 "10hkkkjynhibvchznkxx81gwxqarn9i5sgz40d6xxb8xzhsz8xhn"))))
+ (base32 "07c1vknddv3ak7w89n85ik0g34nzzpms6yb845vrjnv9m4csbpi8"))))
(build-system cargo-build-system)
(home-page "https://github.com/mit-plv/fiat-crypto";)
(synopsis "Fiat-crypto generated Rust")
