[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/27: gnu: Add rust-varisat-checker-0.2.
|
From: |
guix-commits |
|
Subject: |
07/27: gnu: Add rust-varisat-checker-0.2. |
|
Date: |
Mon, 30 Dec 2024 09:14:22 -0500 (EST) |
efraim pushed a commit to branch rust-team
in repository guix.
commit 6dde16360cfec4142bfea16494301000d26c04de
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Mon Dec 30 15:49:32 2024 +0200
gnu: Add rust-varisat-checker-0.2.
* gnu/packages/crates-io.scm (rust-varisat-checker-0.2): New variable.
Change-Id: Ib21ea9b779e10a9662cf6ae4a12738125091b2a3
---
gnu/packages/crates-io.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index cf8edf88ab..1e3c2d6c07 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -92549,6 +92549,39 @@ for @code{Valuable} types.")
integer encoding implementation in Rust.")
(license license:expat)))
+(define-public rust-varisat-checker-0.2
+ (package
+ (name "rust-varisat-checker")
+ (version "0.2.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "varisat-checker" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "0fvndkgd2ypgr9rygnj0glxk0492696qw6xqysc6xv8kb5y9fp0k"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:cargo-inputs
+ (("rust-anyhow" ,rust-anyhow-1)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-partial-ref" ,rust-partial-ref-0.3)
+ ("rust-rustc-hash" ,rust-rustc-hash-1)
+ ("rust-smallvec" ,rust-smallvec-1)
+ ("rust-thiserror" ,rust-thiserror-1)
+ ("rust-varisat-dimacs" ,rust-varisat-dimacs-0.2)
+ ("rust-varisat-formula" ,rust-varisat-formula-0.2)
+ ("rust-varisat-internal-proof" ,rust-varisat-internal-proof-0.2))
+ #:cargo-development-inputs
+ (("rust-proptest" ,rust-proptest-0.10)
+ ("rust-varisat-formula" ,rust-varisat-formula-0.2))))
+ (home-page "https://jix.one/project/varisat/";)
+ (synopsis "Proof checker for proofs generate by the Varisat SAT solver")
+ (description
+ "This package provides a proof checker for proofs generate by the
+Varisat SAT solver.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-varisat-dimacs-0.2
(package
(name "rust-varisat-dimacs")
- branch rust-team updated (64302e9fb7 -> 4d478f0b40), guix-commits, 2024/12/30
- 05/27: gnu: Add rust-varisat-formula-0.2., guix-commits, 2024/12/30
- 01/27: gnu: Add rust-partial-ref-derive-0.3., guix-commits, 2024/12/30
- 02/27: gnu: Add rust-partial-ref-0.3., guix-commits, 2024/12/30
- 06/27: gnu: Add rust-varisat-dimacs-0.2., guix-commits, 2024/12/30
- 03/27: gnu: Add rust-varisat-internal-proof-0.2., guix-commits, 2024/12/30
- 08/27: gnu: Add rust-varisat-0.2., guix-commits, 2024/12/30
- 04/27: gnu: Add rust-varisat-internal-macros-0.2., guix-commits, 2024/12/30
- 09/27: gnu: Add rust-target-lexicon-0.13., guix-commits, 2024/12/30
- 07/27: gnu: Add rust-varisat-checker-0.2.,
guix-commits <=
- 10/27: gnu: Add rust-carapace-spec-clap-1., guix-commits, 2024/12/30
- 11/27: gnu: rust-cargo-config2-0.1: Update to 0.1.31., guix-commits, 2024/12/30
- 12/27: gnu: rust-self-cell-1: Update to 1.1.0., guix-commits, 2024/12/30
- 13/27: gnu: rust-python-pkginfo-0.6: Update to 0.6.5., guix-commits, 2024/12/30
- 14/27: gnu: Add rust-cargo-metadata-0.19., guix-commits, 2024/12/30
- 15/27: gnu: Add rust-clap-complete-command-0.6., guix-commits, 2024/12/30
- 22/27: gnu: Add rust-pyproject-toml-0.11., guix-commits, 2024/12/30
- 17/27: gnu: Add rust-minijinja-2., guix-commits, 2024/12/30
- 20/27: gnu: Add rust-pep508-rs-0.6., guix-commits, 2024/12/30
- 25/27: gnu: Add rust-serde-yaml-ng-0.10., guix-commits, 2024/12/30