me
/
guix
Archived
1
0
Fork 0
Code

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>
master
Herman Rimm 2024-02-18 22:08:46 +01:00 committed by Efraim Flashner
parent c1a71d9259
commit 78aae8276f
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
2 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gnu/packages/crates-crypto.scm
View File

@ -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")

18
gnu/packages/crates-io.scm
View File

@ -24868,24 +24868,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")