diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-12-30 15:47:53 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-01-06 12:21:25 +0200 |
| commit | fc1888dd6dac4ad6ac33a6f0850c1701748c3d37 (patch) | |
| tree | 61e64a8617a61ec7f0353cee496bc6e3e408c418 | |
| parent | 3907c267a82d7d170115742ea6216e7cf692f09b (diff) | |
| download | guix-fc1888dd6dac4ad6ac33a6f0850c1701748c3d37.tar.gz guix-fc1888dd6dac4ad6ac33a6f0850c1701748c3d37.zip | |
gnu: Add rust-varisat-formula-0.2.
* gnu/packages/crates-io.scm (rust-varisat-formula-0.2): New variable.
Change-Id: Ie1a0c9b0ecd5a043ceb03b5f8a795170777cacf7
| -rw-r--r-- | gnu/packages/crates-io.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index cc0f2977f8..cfb1a148d6 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -92549,6 +92549,29 @@ for @code{Valuable} types.") integer encoding implementation in Rust.") (license license:expat))) +(define-public rust-varisat-formula-0.2 + (package + (name "rust-varisat-formula") + (version "0.2.2") + (source + (origin + (method url-fetch) + (uri (crate-uri "varisat-formula" version)) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 "08256rfjdmvfxjjw162r6l5ipfd46in9vx1sdmnhgndzp51map1r")))) + (build-system cargo-build-system) + (arguments + `(#:cargo-inputs (("rust-proptest" ,rust-proptest-0.10) + ("rust-rand" ,rust-rand-0.7)) + #:cargo-development-inputs (("rust-proptest" ,rust-proptest-0.10) + ("rust-rand" ,rust-rand-0.7)))) + (home-page "https://jix.one/project/varisat/") + (synopsis "Basic formula data types used by the Varisat SAT solver") + (description + "This package provides Basic formula data types used by the Varisat SAT solver.") + (license (list license:expat license:asl2.0)))) + (define-public rust-varisat-internal-macros-0.2 (package (name "rust-varisat-internal-macros") |