diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-12-30 15:46:44 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-01-06 12:21:24 +0200 |
| commit | 9cf546e72319c5bb654e4f3918bfb8080475527e (patch) | |
| tree | d74ef4a3ef09a66cf186ebcd7d54dfd03f15d0f5 | |
| parent | 3b533b034f40638fa3862c3ec493a308e5b499d3 (diff) | |
| download | guix-9cf546e72319c5bb654e4f3918bfb8080475527e.tar.gz guix-9cf546e72319c5bb654e4f3918bfb8080475527e.zip | |
gnu: Add rust-varisat-internal-proof-0.2.
* gnu/packages/crates-io.scm (rust-varisat-internal-proof-0.2): New
variable.
Change-Id: I2d9ab7f18f9b0323c08cb9b0e0ec3a5a8d8bd3bd
| -rw-r--r-- | gnu/packages/crates-io.scm | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index ac73988367..a4089ff97b 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -92549,6 +92549,28 @@ for @code{Valuable} types.") integer encoding implementation in Rust.") (license license:expat))) +(define-public rust-varisat-internal-proof-0.2 + (package + (name "rust-varisat-internal-proof") + (version "0.2.2") + (source + (origin + (method url-fetch) + (uri (crate-uri "varisat-internal-proof" version)) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 "01yj4zalzp6x6wa0yr3xl8v1q51xh1vgjr3dnxvz12h1r5xvnqv1")))) + (build-system cargo-build-system) + (arguments + `(#:cargo-inputs (("rust-anyhow" ,rust-anyhow-1) + ("rust-varisat-formula" ,rust-varisat-formula-0.2)) + #:cargo-development-inputs (("rust-proptest" ,rust-proptest-0.10)))) + (home-page "https://jix.one/project/varisat/") + (synopsis "Internal proof format for the Varisat SAT solver") + (description + "This package provides Internal proof format for the Varisat SAT solver.") + (license (list license:expat license:asl2.0)))) + (define-public rust-vcpkg-0.2 (package (name "rust-vcpkg") |