@@ -26141,24 +26141,40 @@ (define-public rust-figment-0.10
(description
"This package provides a configuration library so con-free, it's unreal.")
(license (list license:expat license:asl2.0))))
-(define-public rust-fiat-crypto-0.1
+
+(define-public rust-fiat-crypto-0.2
(package
(name "rust-fiat-crypto")
- (version "0.1.11")
+ (version "0.2.5")
(source
(origin
(method url-fetch)
(uri (crate-uri "fiat-crypto" version))
(file-name (string-append name "-" version ".tar.gz"))
(sha256
- (base32 "12gyr01z3bkahbxcrj2nsdq42qbqgq12w32dvpr6a7930i0qfxi1"))))
+ (base32 "1dxn0g50pv0ppal779vi7k40fr55pbhkyv4in7i13pgl4sn3wmr7"))))
(build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t))
(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-fiat-crypto-0.1
+ (package
+ (inherit rust-fiat-crypto-0.2)
+ (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"))))))
+
(define-public rust-file-diff-1
(package
(name "rust-file-diff")