GNU bug report logs - #69257
[PATCH 000/228 rust-team] WIP: Add GNOME Fractal dependencies.

Previous Next

Full log

Message #260 received at 69257 <at> debbugs.gnu.org (full text, mbox):

From: Herman Rimm <herman <at> rimm.ee>
To: 69257 <at> debbugs.gnu.org
Cc: Herman Rimm <herman <at> rimm.ee>
Subject: [PATCH 156/228] gnu: Move rust-fiat-crypto-0.1.
Date: Sun, 18 Feb 2024 22:08:46 +0100

* gnu/packages/crates-io.scm (rust-fiat-crypto-0.1): Move from here...
* gnu/packages/crates-crypto.scm (rust-fiat-crypto-0.1): ...to here.

Change-Id: Ie8156d2318a66200c698c78dd2edd7ff92664bc6
---
 gnu/packages/crates-crypto.scm | 18 ++++++++++++++++++
 gnu/packages/crates-io.scm     | 18 ------------------
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/gnu/packages/crates-crypto.scm b/gnu/packages/crates-crypto.scm
index a2b9aa6ae2..5c987ba690 100644
--- a/gnu/packages/crates-crypto.scm
+++ b/gnu/packages/crates-crypto.scm
@@ -2243,6 +2243,24 @@ (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
+  (package
+    (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"))))
+    (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))))
+
 (define-public rust-ghash-0.5
   (package
     (name "rust-ghash")
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 2b044e67a6..2313a8553a 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -23764,24 +23764,6 @@ (define-public rust-ff-derive-0.12
                        ("rust-quote" ,rust-quote-1)
                        ("rust-syn" ,rust-syn-1))))))
 
-(define-public rust-fiat-crypto-0.1
-  (package
-    (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"))))
-    (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))))
-
 (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.