efraim pushed a commit to branch rust-team
in repository guix.
commit 7d6d164f09e24eeca5b17e1b901b992ec24d51df
Author: VÖRÖSKŐI András <[email protected]>
AuthorDate: Tue Jan 30 20:25:06 2024 +0100
gnu: Add rust-mirai-annotations-1.
* gnu/packages/crates-io.scm (rust-mirai-annotations-1): New variable.
Change-Id: Ia555b0f13d51854309638f03a3eb808ada9ebfcd
Signed-off-by: Efraim Flashner <[email protected]>
---
gnu/packages/crates-io.scm | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 1074d8e9f4..05ed98b686 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -37055,6 +37055,23 @@ possible over the OS abstractions.")
"Unix domain socket bindings for mio.")
(license (list license:asl2.0 license:expat))))
+(define-public rust-mirai-annotations-1
+ (package
+ (name "rust-mirai-annotations")
+ (version "1.12.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "mirai-annotations" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1lfkgarmzd7mdr739s9yidh0xhc9d3g4jjiwh246mwmkq5i0ign9"))))
+ (build-system cargo-build-system)
+ (home-page "https://github.com/facebookexperimental/MIRAI")
+ (synopsis "Macros that provide source code annotations for MIRAI")
+ (description "Macros that provide source code annotations for MIRAI")
+ (license license:expat)))
+
(define-public rust-mock-instant-0.2
(package
(name "rust-mock-instant")