increase version number to 2.1

pmbittner · pmbittner · commit 55b59ef26c6f · 2025-07-07T10:15:19.000+02:00
diff --git a/default.nix b/default.nix
@@ -9,7 +9,7 @@
     },
 }:
 pkgs.agdaPackages.mkDerivation {
-  version = "2.0";
+  version = "2.1";
   pname = "Vatras";
   src = with pkgs.lib.fileset;
     toSource {
