03/63: gnu: Add rust-mirai-annotations-1.

[guix-commits]

efraim pushed a commit to branch rust-team
in repository guix.

commit 7d6d164f09e24eeca5b17e1b901b992ec24d51df
Author: VÖRÖSKŐI András <voroskoi@gmail.com>
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 <efraim@flashner.co.il>
---
 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")