[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
12/68: gnu: Add rust-fiat-crypto-0.2.
From: |
guix-commits |
Subject: |
12/68: gnu: Add rust-fiat-crypto-0.2. |
Date: |
Wed, 20 Mar 2024 11:24:25 -0400 (EDT) |
efraim pushed a commit to branch rust-team
in repository guix.
commit ff91ffdac733bda0044208f6825ba1d4b763513d
Author: Herman Rimm <herman@rimm.ee>
AuthorDate: Sun Feb 18 22:08:47 2024 +0100
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>
---
gnu/packages/crates-crypto.scm | 22 ++++++++++++++++++----
1 file changed, 18 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/crates-crypto.scm b/gnu/packages/crates-crypto.scm
index bcc8b34848..7d35a755d0 100644
--- a/gnu/packages/crates-crypto.scm
+++ b/gnu/packages/crates-crypto.scm
@@ -2353,23 +2353,37 @@ 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
+(define-public rust-fiat-crypto-0.2
(package
(name "rust-fiat-crypto")
- (version "0.1.11")
+ (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 "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))
+ (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 (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
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "fiat-crypto" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))))
(define-public rust-ghash-0.5
(package
- branch rust-team updated (32c0cf9145 -> edcc8778fe), guix-commits, 2024/03/20
- 03/68: gnu: rust-base64-0.21: Update to 0.21.7., guix-commits, 2024/03/20
- 06/68: gnu: monolith: Update to 2.8.1., guix-commits, 2024/03/20
- 01/68: gnu: Add rust-cargo-toml-0.19., guix-commits, 2024/03/20
- 02/68: gnu: cargo-machete: Update to 0.6.1., guix-commits, 2024/03/20
- 05/68: gnu: rust-cssparser-macros-0.6: Update to 0.6.1., guix-commits, 2024/03/20
- 07/68: gnu: Add rust-mio-aio-0.8., guix-commits, 2024/03/20
- 10/68: gnu: Add rust-curve25519-dalek-derive-0.1., guix-commits, 2024/03/20
- 12/68: gnu: Add rust-fiat-crypto-0.2.,
guix-commits <=
- 08/68: gnu: rust-tokio-1: Update to 1.36.0., guix-commits, 2024/03/20
- 17/68: gnu: Add rust-ed25519-dalek-2., guix-commits, 2024/03/20
- 09/68: gnu: agate: Update to 3.3.5., guix-commits, 2024/03/20
- 15/68: gnu: Add rust-ring-compat-0.8., guix-commits, 2024/03/20
- 16/68: gnu: Add rust-x25519-dalek-2., guix-commits, 2024/03/20
- 04/68: gnu: Add rust-cssparser-0.33., guix-commits, 2024/03/20
- 11/68: gnu: Move rust-fiat-crypto-0.1., guix-commits, 2024/03/20
- 14/68: gnu: Add rust-curve25519-dalek-4., guix-commits, 2024/03/20
- 18/68: gnu: Add rust-ed25519-2., guix-commits, 2024/03/20
- 13/68: gnu: Add rust-platforms-3., guix-commits, 2024/03/20