summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Graves <[email protected]>2024-11-06 00:15:01 +0100
committerEfraim Flashner <[email protected]>2025-01-07 09:03:32 +0200
commitc03ba10b3cd6425dbc23a5bf397406b4d0e24f63 (patch)
treebb5ceb9c83b3ebf3dede65c8516a0443f283a508
parentf3df3dc2bf91afeb0715c2f63ab5ca85733cfd8d (diff)
gnu: Add rust-primal-0.3.
* gnu/packages/crates-io.scm (rust-primal-0.3): New variable. Signed-off-by: Efraim Flashner <[email protected]> Change-Id: Ic1e8c6eed565675ef7100a56d4c5957ec704f5f2
-rw-r--r--gnu/packages/crates-io.scm28
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 4781205082..4115eda49b 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -56049,6 +56049,34 @@ replacements, adding colorful diffs.")
formatted tables in terminal.")
(license license:bsd-3)))
+(define-public rust-primal-0.3
+ (package
+ (name "rust-primal")
+ (version "0.3.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "primal" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1s6n396cssbr86f9w31sppdf06xsymgrl7y9gw0yccl5jiag7rdi"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:cargo-inputs (("rust-primal-check" ,rust-primal-check-0.3)
+ ("rust-primal-estimate" ,rust-primal-estimate-0.3)
+ ("rust-primal-sieve" ,rust-primal-sieve-0.3))
+ #:cargo-development-inputs
+ (("rust-criterion" ,rust-criterion-0.3)
+ ("rust-primal-slowsieve" ,rust-primal-slowsieve-0.3))))
+ (home-page "https://github.com/huonw/primal")
+ (synopsis "Various tools for prime numbers")
+ (description
+ "This package provides various tools to work with prime numbers. It
+includes: optimised prime sieves, checking for primality, enumerating primes,
+factorising numbers, and state-of-the-art estimation of upper and lower bounds
+for the number of primes below n and the k-th prime.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-primal-bit-0.3
(package
(name "rust-primal-bit")