From a4dc727bb371ff0f03837f7a7f70faf87683fb1e Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Sun, 31 Mar 2024 14:57:54 +0300
Subject: [PATCH] gnu: Add rust-vec1-1.

* gnu/packages/crates-io.scm (rust-vec1-1): New variable.

Change-Id: I99f4783599b172c0721d30d8801bf6db469d73db
---
 gnu/packages/crates-io.scm | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index c02cfb2d86..50ab0fc5f4 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -85772,6 +85772,29 @@ integer encoding implementation in Rust.")
     (license (list license:asl2.0
                    license:expat))))
 
+(define-public rust-vec1-1
+  (package
+    (name "rust-vec1")
+    (version "1.12.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "vec1" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32 "0dk9qlly3n6b5g71p9rxnnfyx7v1d31364x8wbabz2f1zz7hvdpz"))))
+    (build-system cargo-build-system)
+    (arguments
+     `(#:cargo-inputs (("rust-serde" ,rust-serde-1)
+                       ("rust-smallvec" ,rust-smallvec-1))
+       #:cargo-development-inputs (("rust-proptest" ,rust-proptest-1)
+                                   ("rust-serde-json" ,rust-serde-json-1))))
+    (home-page "https://github.com/rustonaut/vec1/")
+    (synopsis "Vec wrapper assuring that it has at least 1 element")
+    (description "This package provides a std Vec wrapper assuring that it has
+at least 1 element.")
+    (license (list license:expat license:asl2.0))))
+
 (define-public rust-vek-0.15
   (package
     (name "rust-vek")