From 401ac46ff0c2dfda04d00240329d7f4a55accef3 Mon Sep 17 00:00:00 2001
From: "Artyom V. Poptsov" <poptsov.artyom@gmail.com>
Date: Fri, 6 Jan 2023 19:40:40 +0300
Subject: [PATCH 1/2] gnu: Add rust-typenum-1.13.0.

* gnu/packages/crates-io.scm (rust-typenum-1.13.0): New variable.
---
 gnu/packages/crates-io.scm | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index f0f40207b9..ea20401c65 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -63709,6 +63709,20 @@ (define-public rust-typenum-1
     (license (list license:asl2.0
                    license:expat))))
 
+(define-public rust-typenum-1.13.0
+  (package
+    (inherit rust-typenum-1)
+    (name "rust-typenum")
+    (version "1.13.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "typenum" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32
+         "01lbbspn4080yg8wp6y7q3xcqih1c1dmkkx4pwax4z1a9436k7w7"))))))
+
 (define-public rust-ucd-parse-0.1
   (package
     (name "rust-ucd-parse")
-- 
2.34.1