diff mbox series

[bug#69257,157/228] gnu: Add rust-fiat-crypto-0.2.

Message ID 0ddbe0981ab78e7a742ad210bbbf37e91eaeef1c.1708288188.git.herman@rimm.ee
State New
Headers show
Series WIP: Add GNOME Fractal dependencies. | expand

Commit Message

Herman Rimm Feb. 18, 2024, 9:08 p.m. UTC 
* 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 mbox series

Patch

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