[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/134: gnu: Add rust-fiat-crypto-0.1.
From: |
guix-commits |
Subject: |
03/134: gnu: Add rust-fiat-crypto-0.1. |
Date: |
Sat, 22 Jan 2022 07:38:12 -0500 (EST) |
ngz pushed a commit to branch master
in repository guix.
commit 100fc7507b771542419df22327f6c588b00f2c86
Author: Aleksandr Vityazev <avityazev@posteo.org>
AuthorDate: Mon Jan 17 13:07:47 2022 +0000
gnu: Add rust-fiat-crypto-0.1.
* gnu/packages/crates-io.scm (rust-fiat-crypto-0.1): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
---
gnu/packages/crates-io.scm | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 51f0a99624..d13996ab62 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -19586,6 +19586,24 @@ Atom, RSS 2.0, RSS 1.0, RSS 0.x and JSON Feed")
;; No copyright headers in the source code. LICENSE indicates gpl3.
(license license:gpl3)))
+(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-filesize-0.2
(package
(name "rust-filesize")
- branch master updated (d07a89d645 -> 0f1d39c7ba), guix-commits, 2022/01/22
- 01/134: gnu: Add rust-paris-1., guix-commits, 2022/01/22
- 04/134: gnu: rust-curve25519-dalek-3: Update to 3.2.0., guix-commits, 2022/01/22
- 02/134: gnu: Add rust-simplelog-0.11., guix-commits, 2022/01/22
- 03/134: gnu: Add rust-fiat-crypto-0.1.,
guix-commits <=
- 05/134: gnu: Add rust-x25519-dalek-1., guix-commits, 2022/01/22
- 07/134: gnu: rust-aes-gcm-0.6: Inherit from rust-aes-gcm-0.8., guix-commits, 2022/01/22
- 08/134: gnu: Add rust-ecies-ed25519-0.5., guix-commits, 2022/01/22
- 12/134: gnu: Add rust-poly1305-0.7., guix-commits, 2022/01/22
- 18/134: gnu: rust-num-cpus-1: Update to 1.13.1., guix-commits, 2022/01/22
- 06/134: gnu: Add rust-aes-gcm-0.8., guix-commits, 2022/01/22
- 17/134: gnu: Add rust-blakeout-0.3., guix-commits, 2022/01/22
- 10/134: gnu: Add rust-aead-0.4., guix-commits, 2022/01/22
- 15/134: gnu: rust-signature-1: Update to 1.5.0., guix-commits, 2022/01/22
- 16/134: gnu: Add rust-blake2-0.9., guix-commits, 2022/01/22