increase version number to 2.3

pmbittner · pmbittner · commit 7b2c1857aa47 · 2026-04-17T09:01:39.000+02:00
diff --git a/default.nix b/default.nix
@@ -9,7 +9,7 @@
     },
 }:
 pkgs.agdaPackages.mkDerivation {
-  version = "2.2";
+  version = "2.3";
   pname = "Vatras";
   src = with pkgs.lib.fileset;
     toSource {
