Context | Check | Description |
---|---|---|
cbaines/comparison | success | View comparision |
cbaines/git branch | success | View Git branch |
cbaines/comparison | success | View comparision |
cbaines/git branch | success | View Git branch |
cbaines/comparison | success | View comparision |
cbaines/git branch | success | View Git branch |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index b46e3f9c08..19f4666c29 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -19194,6 +19194,24 @@ (define-public rust-fever-api-0.2 ;; 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")