From b2ea1dba8d3b17d6448e5457481a391989fb1143 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Wed, 4 Sep 2024 17:50:10 +0200
Subject: [PATCH] chore: bump version

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

diff --git a/Package.juvix b/Package.juvix
index f1eef87..af681df 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,7 +5,7 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "anoma-app-patterns";
-    version := mkVersion 0 4 0;
+    version := mkVersion 0 5 0;
     dependencies :=
       [ github "anoma" "juvix-stdlib" "v0.7.0"
       ; github "anoma" "juvix-containers" "v0.15.0"