ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-20 17:53:26 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add rust-fiat-crypto-0.1.

Browse source 
* gnu/packages/crates-io.scm (rust-fiat-crypto-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
This commit is contained in:
Aleksandr Vityazev 2022-01-17 13:07:47 +00:00 committed by Nicolas Goaziou
parent 590dc88700
commit 100fc7507b
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
gnu/packages/crates-io.scm
View file

@ -19586,6 +19586,24 @@ (define-public rust-fever-api-0.2
;; No copyright headers in the source code. LICENSE indicates gpl3. ;; No copyright headers in the source code. LICENSE indicates gpl3.
(license license: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 (define-public rust-filesize-0.2
(package (package
(name "rust-filesize") (name "rust-filesize")