From ec49c8e24a296f8ddfeb5f3526aaddde596ac3cc Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 17 Apr 2025 17:25:38 +0200
Subject: [PATCH] bump version to v0.10.1

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

diff --git a/Package.juvix b/Package.juvix
index aaf0cc2..fb6a253 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -9,7 +9,7 @@ package : Package :=
       mkVersion@{
         major := 0;
         minor := 10;
-        patch := 0;
+        patch := 1;
       };
     dependencies :=
       [