178/350: gnu: rust-fiat-crypto-0.2: Update to 0.2.9.

[guix-commits]

efraim pushed a commit to branch rust-team
in repository guix.

commit cef367e5cce7c89d6c5a30d423f30016b87ae1a7
Author: Efraim Flashner <efraim@flashner.co.il>
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")