From bc4fc6b898fbca396ad9eca384cd458fe22e1a90 Mon Sep 17 00:00:00 2001 From: Aleksandr Vityazev Date: Mon, 17 Jan 2022 13:21:38 +0000 Subject: 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 --- gnu/packages/crates-io.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'gnu') 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") -- cgit v1.2.3