11/68: gnu: Move rust-fiat-crypto-0.1.

[guix-commits]

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

commit 38f4d51ec30443a8978b4292952e3085f8ca4d02
Author: Herman Rimm <herman@rimm.ee>
AuthorDate: Sun Feb 18 22:08:46 2024 +0100

    gnu: Move rust-fiat-crypto-0.1.
    
    * gnu/packages/crates-io.scm (rust-fiat-crypto-0.1): Move from here...
    * gnu/packages/crates-crypto.scm (rust-fiat-crypto-0.1): ...to here.
    
    Change-Id: Ie8156d2318a66200c698c78dd2edd7ff92664bc6
    Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
---
 gnu/packages/crates-crypto.scm | 18 ++++++++++++++++++
 gnu/packages/crates-io.scm     | 18 ------------------
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/gnu/packages/crates-crypto.scm b/gnu/packages/crates-crypto.scm
index f0c5135e84..bcc8b34848 100644
--- a/gnu/packages/crates-crypto.scm
+++ b/gnu/packages/crates-crypto.scm
@@ -2353,6 +2353,24 @@ curve forms, scalars, points, and public/secret keys 
composed thereof.")
                                    ("rust-sha2" ,rust-sha2-0.10)
                                    ("rust-sha3" ,rust-sha3-0.10))))))
 
+(define-public rust-fiat-crypto-0.1
+  (package
+    (name "rust-fiat-crypto")
+    (version "0.1.11")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "fiat-crypto" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32 "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))
+    (build-system cargo-build-system)
+    (home-page "https://github.com/mit-plv/fiat-crypto";)
+    (synopsis "Fiat-crypto generated Rust")
+    (description "This crate provides the extracted Rust code from the Coq
+@code{fiat-crypto} libraries.")
+    (license (list license:expat license:asl2.0))))
+
 (define-public rust-ghash-0.5
   (package
     (name "rust-ghash")
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 603944dc57..03e46bb367 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -24777,24 +24777,6 @@ prime field implementations in rust.")
                        ("rust-quote" ,rust-quote-1)
                        ("rust-syn" ,rust-syn-1))))))
 
-(define-public rust-fiat-crypto-0.1
-  (package
-    (name "rust-fiat-crypto")
-    (version "0.1.11")
-    (source
-     (origin
-       (method url-fetch)
-       (uri (crate-uri "fiat-crypto" version))
-       (file-name (string-append name "-" version ".tar.gz"))
-       (sha256
-        (base32 "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))
-    (build-system cargo-build-system)
-    (home-page "https://github.com/mit-plv/fiat-crypto";)
-    (synopsis "Fiat-crypto generated Rust")
-    (description "This crate provides the extracted Rust code from the Coq
-@code{fiat-crypto} libraries.")
-    (license (list license:expat license:asl2.0))))
-
 (define-public rust-figment-0.10
   (package
     (name "rust-figment")