[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#69257] [PATCH 157/228] gnu: Add rust-fiat-crypto-0.2.
From: |
Herman Rimm |
Subject: |
[bug#69257] [PATCH 157/228] gnu: Add rust-fiat-crypto-0.2. |
Date: |
Sun, 18 Feb 2024 22:08:47 +0100 |
* 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
---
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 5c987ba690..2af59fb983 100644
--- a/gnu/packages/crates-crypto.scm
+++ b/gnu/packages/crates-crypto.scm
@@ -2243,23 +2243,37 @@ (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
+(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
--
2.41.0
- [bug#69257] [PATCH 141/228] gnu: Place rust-wl-clipboard-rs-0.4 in alphabetical order., (continued)
- [bug#69257] [PATCH 141/228] gnu: Place rust-wl-clipboard-rs-0.4 in alphabetical order., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 147/228] gnu: Add rust-ruma-html-0.1., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 148/228] gnu: Add rust-ruma-events-0.27., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 150/228] gnu: Add rust-ruma-federation-api-0.8., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 152/228] gnu: Add rust-ruma-push-gateway-api-0.8., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 153/228] gnu: Add rust-yap-0.12., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 135/228] gnu: Add rust-konst-0.3., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 156/228] gnu: Move rust-fiat-crypto-0.1., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 117/228] gnu: Add rust-rust-ini-0.18., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 161/228] gnu: Add rust-strobe-rs-0.8., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 157/228] gnu: Add rust-fiat-crypto-0.2.,
Herman Rimm <=
- [bug#69257] [PATCH 167/228] gnu: Add rust-macro-attr-0.2., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 162/228] gnu: Add rust-strobe-rs-0.5., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 165/228] gnu: Add rust-ed25519-2., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 179/228] gnu: Add rust-pkcs7-0.4., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 187/228] gnu: Add rust-web-time-1., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 170/228] gnu: Add rust-ruma-client-api-0.17., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 175/228] gnu: Add rust-matrix-sdk-common-0.7., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 183/228] gnu: Add rust-olm-rs-2., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 172/228] gnu: Add rust-ruma-state-res-0.10., Herman Rimm, 2024/02/18
- [bug#69257] [PATCH 188/228] gnu: Add rust-ulid-1., Herman Rimm, 2024/02/18