From 640989cb11cb9b90100f0ae3fe6cc6faed2467ed Mon Sep 17 00:00:00 2001
From: Raoul <raoul.schaffranek@runtimeverification.com>
Date: Wed, 7 Oct 2026 10:42:41 +0000
Subject: [PATCH] Version bump

---
 package/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package/version b/package/version
index 1ec9b0b6..a2d633db 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.60
+0.1.61