From e5add9b2a8ce3dc28519c135bdcdcd694d0bea15 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 29 Jan 2025 12:48:17 +0100
Subject: [PATCH] Bump version to v0.10.1 (#163)

---
 Package.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Package.juvix b/Package.juvix
index 5df850b0..4caf98c8 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "stdlib";
-    version := mkVersion 0 0 1;
+    version := mkVersion 0 10 1;
     dependencies := []
   };