diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-12-30 15:47:21 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-01-06 12:21:25 +0200 |
| commit | 3907c267a82d7d170115742ea6216e7cf692f09b (patch) | |
| tree | d4553db76874c2e7c2427f8b897f321a5813c419 | |
| parent | 9cf546e72319c5bb654e4f3918bfb8080475527e (diff) | |
| download | guix-3907c267a82d7d170115742ea6216e7cf692f09b.tar.gz guix-3907c267a82d7d170115742ea6216e7cf692f09b.zip | |
gnu: Add rust-varisat-internal-macros-0.2.
* gnu/packages/crates-io.scm (rust-varisat-internal-macros-0.2): New
variable.
Change-Id: I01ecd134a0096188c1ed5de64403d0d09a2f28cf
| -rw-r--r-- | gnu/packages/crates-io.scm | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index a4089ff97b..cc0f2977f8 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -92549,6 +92549,30 @@ for @code{Valuable} types.") integer encoding implementation in Rust.") (license license:expat))) +(define-public rust-varisat-internal-macros-0.2 + (package + (name "rust-varisat-internal-macros") + (version "0.2.2") + (source + (origin + (method url-fetch) + (uri (crate-uri "varisat-internal-macros" version)) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 "13a0297kq3qhk6wa59sd44zjlhn0qs358ia8g2m6dl236mvwwbk0")))) + (build-system cargo-build-system) + (arguments + `(#:cargo-inputs (("rust-proc-macro2" ,rust-proc-macro2-1) + ("rust-quote" ,rust-quote-1) + ("rust-regex" ,rust-regex-1) + ("rust-syn" ,rust-syn-1) + ("rust-synstructure" ,rust-synstructure-0.12)))) + (home-page "https://jix.one/project/varisat/") + (synopsis "Internal macros for the Varisat SAT solver") + (description + "This package provides Internal macros for the Varisat SAT solver.") + (license (list license:expat license:asl2.0)))) + (define-public rust-varisat-internal-proof-0.2 (package (name "rust-varisat-internal-proof") |