diff options
| author | Aleksandr Vityazev <avityazev@posteo.org> | 2022-01-17 13:21:38 +0000 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2022-01-22 13:09:39 +0100 |
| commit | bc4fc6b898fbca396ad9eca384cd458fe22e1a90 (patch) | |
| tree | 3c0686ed3a95a505bb116a5f16a6f148b577162f /gnu | |
| parent | 8882a964af5af686cc5910ec07d01488f407c882 (diff) | |
| download | guix-bc4fc6b898fbca396ad9eca384cd458fe22e1a90.tar.gz | |
gnu: Add rust-quine-mc-cluskey-0.2.
* gnu/packages/crates-io.scm (rust-quine-mc-cluskey-0.2): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/crates-io.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index c7481e550a..61e7a31adc 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -43039,6 +43039,31 @@ integers, floats, tuples, booleans, lists, strings, options and results.") #:cargo-development-inputs (("rust-quickcheck" ,rust-quickcheck-0.8)))))) +(define-public rust-quine-mc-cluskey-0.2 + (package + (name "rust-quine-mc-cluskey") + (version "0.2.4") + (source + (origin + (method url-fetch) + (uri (crate-uri "quine-mc-cluskey" version)) + (file-name + (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "0iazdlwffhrlksb8yhhs1prgwpa68rwjwqm4v26hr9hrswarcn07")))) + (build-system cargo-build-system) + (arguments + `(#:cargo-inputs + (("rust-quickcheck" ,rust-quickcheck-0.3)))) + (home-page "https://github.com/oli-obk/quine-mc_cluskey") + (synopsis + "Rust implementation of the Quine-McCluskey algorithm and Petrick's method") + (description + "This package provides a Rust implementation of the Quine-McCluskey algorithm +and Petrick's method, an algorithm to automatically minimize boolean expressions.") + (license license:expat))) + (define-public rust-quote-1 (package (name "rust-quote") |