@@ -2243,6 +2243,24 @@ (define-public rust-elliptic-curve-0.12
("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")
@@ -23764,24 +23764,6 @@ (define-public rust-ff-derive-0.12
("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-file-diff-1
(package
(name "rust-file-diff")