From 58d8e92bbd15af0393d75cf575cb53b28d438bdd Mon Sep 17 00:00:00 2001
From: Irina Dragoste <Irina.Dragoste@tu-dresden.de>
Date: Fri, 6 Jan 2023 18:29:47 +0100
Subject: [PATCH] update release version of rulewerk in nix

---
 nix/pkgs/rulewerk/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/pkgs/rulewerk/default.nix b/nix/pkgs/rulewerk/default.nix
index ddfc77150..fbd7e75c2 100644
--- a/nix/pkgs/rulewerk/default.nix
+++ b/nix/pkgs/rulewerk/default.nix
@@ -16,7 +16,7 @@
 in
   stdenv.mkDerivation rec {
     pname = "rulewerk";
-    version = "0.9.0-SNAPSHOT";
+    version = "0.9.0";
     src = gitignoreSource ../../..;
 
     modules = [