me
/
guix
Archived
1
0
Fork 0
Code

gnu: Add rust-fiat-crypto-0.2. 

* gnu/packages/crates-crypto.scm (rust-fiat-crypto-0.2): Add variable.
(rust-fiat-crypto-0.1): Inherit from rust-fiat-crypto-0.2.

Change-Id: I02442b6b5f95125a2e67b1012d2f9b913ef10923
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
master
Herman Rimm 2024-02-18 22:08:47 +01:00 committed by Efraim Flashner
parent 78aae8276f
commit 8e778deda2
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
1 changed files with 21 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2353,8 +2353,27 @@ 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.2
(package
(name "rust-fiat-crypto")
(version "0.2.6")
(source
(origin
(method url-fetch)
(uri (crate-uri "fiat-crypto" version))
(file-name (string-append name "-" version ".tar.gz"))
(sha256
(base32 "10hkkkjynhibvchznkxx81gwxqarn9i5sgz40d6xxb8xzhsz8xhn"))))
(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 license:bsd-1))))
(define-public rust-fiat-crypto-0.1
(package
(inherit rust-fiat-crypto-0.2)
(name "rust-fiat-crypto")
(version "0.1.11")
(source
@ -2363,13 +2382,8 @@ curve forms, scalars, points, and public/secret keys composed thereof.")
(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))))
(base32
"12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))))
(define-public rust-ghash-0.5
(package