Increment the version number

ibbem · ibbem · commit ec4b3f4dfa21 · 2025-02-10T19:35:16.000+01:00
diff --git a/default.nix b/default.nix
@@ -9,7 +9,7 @@
     },
 }:
 pkgs.agdaPackages.mkDerivation {
-  version = "1.0";
+  version = "2.0";
   pname = "Vatras";
   src = with pkgs.lib.fileset;
     toSource {
