GNU bug report logs - #68312
[PATCH 000/156] Add atuin (WIP).

Previous Next

Full log

View this message in rfc822 format

From: Wilko Meyer <w <at> wmeyer.eu>
To: 68312 <at> debbugs.gnu.org
Cc: Wilko Meyer <w <at> wmeyer.eu>
Subject: [bug#68312] [PATCH 056/156] gnu: Add rust-fiat-crypto-0.2.
Date: Mon,  8 Jan 2024 02:52:33 +0100

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

Change-Id: I0c2ecbf67c20a874119b2efc7c849c6c42e62b61
---
 gnu/packages/crates-io.scm | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index d8d34a5c557..36414956375 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -26141,24 +26141,40 @@ (define-public rust-figment-0.10
     (description
      "This package provides a configuration library so con-free, it's unreal.")
     (license (list license:expat license:asl2.0))))
-(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.5")
     (source
      (origin
        (method url-fetch)
        (uri (crate-uri "fiat-crypto" version))
        (file-name (string-append name "-" version ".tar.gz"))
        (sha256
-        (base32 "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))
+        (base32 "1dxn0g50pv0ppal779vi7k40fr55pbhkyv4in7i13pgl4sn3wmr7"))))
     (build-system cargo-build-system)
+    (arguments
+     `(#:skip-build? #t))
     (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-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-file-diff-1
   (package
     (name "rust-file-diff")
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.