diff options
| author | Herman Rimm <herman@rimm.ee> | 2024-02-18 22:08:46 +0100 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-07-19 00:43:27 +0300 |
| commit | 78aae8276fe605dfd4a419d76b5150866a95836f (patch) | |
| tree | 8a43d99f47dab4cbc68bab63c791a78d187466f5 /gnu/packages/crates-crypto.scm | |
| parent | c1a71d9259829dca6f5d75d7dc12dd88c4732d66 (diff) | |
| download | guix-78aae8276fe605dfd4a419d76b5150866a95836f.tar.gz guix-78aae8276fe605dfd4a419d76b5150866a95836f.zip | |
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>
Diffstat (limited to 'gnu/packages/crates-crypto.scm')
| -rw-r--r-- | gnu/packages/crates-crypto.scm | 18 |
1 files changed, 18 insertions, 0 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") |