From 5eeff9bdd658cf8f25312718f3b22695f6b6116f Mon Sep 17 00:00:00 2001
From: Tom Hanika <hanika@cs.uni-kassel.de>
Date: Tue, 13 Aug 2024 08:25:46 +0200
Subject: [PATCH] Update Version number in project.clj

---
 project.clj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project.clj b/project.clj
index 03217349..9866e327 100644
--- a/project.clj
+++ b/project.clj
@@ -7,7 +7,7 @@
 ;; You must not remove this notice, or any other, from this software.
 
 
-(defproject conexp-clj "2.5.1-SNAPSHOT"
+(defproject conexp-clj "2.5.1"
 
   :min-lein-version "2.0.0"
   :description "A ConExp rewrite in clojure -- and so much more ..."