summaryrefslogtreecommitdiff
path: root/px
diff options
context:
space:
mode:
authorFranz Geffke <m@f-a.nz>2025-03-26 17:39:34 +0000
committerFranz Geffke <m@f-a.nz>2025-03-26 17:39:34 +0000
commit6aa9855366e5ea33032da86d977962c67061924a (patch)
tree4a2aab0a3199413148c24431d5c9bd505fdb5634 /px
parentf1b739d640e0a9ab722738f0cd1f00ab392d2026 (diff)
px: rust-crossbeam-epoch: Added v0.9.15
Diffstat (limited to 'px')
-rw-r--r--px/packages/crates-io.scm27
1 files changed, 26 insertions, 1 deletions
diff --git a/px/packages/crates-io.scm b/px/packages/crates-io.scm
index 694371e..f6f7ae3 100644
--- a/px/packages/crates-io.scm
+++ b/px/packages/crates-io.scm
@@ -508,6 +508,31 @@ widely-used Serde framework.")
message passing.")
(license (list license:expat license:asl2.0))))
+(define-public rust-crossbeam-epoch-0.9.15
+ (package
+ (name "rust-crossbeam-epoch")
+ (version "0.9.15")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "crossbeam-epoch" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1ixwc3cq816wb8rlh3ix4jnybqbyyq4l61nwlx0mfm3ck0s148df"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:tests? #f
+ #:cargo-inputs
+ (("rust-memoffset" ,rust-memoffset-0.9)
+ ("rust-crossbeam-utils" ,rust-crossbeam-utils-0.8)
+ ("rust-loom" ,rust-loom-0.7))
+ #:cargo-development-inputs (("rust-rand" ,rust-rand-0.8))))
+ (home-page
+ "https://github.com/crossbeam-rs/crossbeam/tree/master/crossbeam-epoch")
+ (synopsis "Epoch-based garbage collection")
+ (description "This package provides an Epoch-based garbage collection.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-crossbeam-deque-0.8.3
(package
(name "rust-crossbeam-deque")
@@ -522,7 +547,7 @@ message passing.")
(build-system cargo-build-system)
(arguments
`(#:cargo-inputs
- (("rust-crossbeam-epoch" ,rust-crossbeam-epoch-0.9)
+ (("rust-crossbeam-epoch" ,rust-crossbeam-epoch-0.9.15)
("rust-crossbeam-utils" ,rust-crossbeam-utils-0.8.16))
#:cargo-development-inputs (("rust-rand" ,rust-rand-0.8))))
(home-page