2 changed files with 1 additions and 3 deletions
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@ -1,6 +1,6 @@
 namespace Pantograph
@[export pantograph_version]
-def version := "0.2.22"
+def version := "0.2.19"
 end Pantograph
--- a/flake.nix
+++ b/flake.nix
@ -22,8 +22,6 @@
    flake = {
    };
    systems = [
      "aarch64-linux"
      "aarch64-darwin"
      "x86_64-linux"
      "x86_64-darwin"
    ];