diff options
Diffstat (limited to 'gnu/packages/crates-io.scm')
| -rw-r--r-- | gnu/packages/crates-io.scm | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index 64bde860c7..0d0ecedfee 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -24868,24 +24868,6 @@ prime field implementations in rust.") ("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-figment-0.10 (package (name "rust-figment") |