diff --git a/Release/CHECKLIST b/Release/CHECKLIST
index 91d6f9e06..f2382d7a4 100644
--- a/Release/CHECKLIST
+++ b/Release/CHECKLIST
@@ -1,6 +1,8 @@
 [ ] Change version number (MAJOR, MINOR, PATCH) in Makefile
 [ ] Change version numbers in doc listings
 [ ] Change version numbers in prelude, base, contrib, network, and test ipkgs
+[ ] Change version number in idris2api.ipkg
+[ ] Change version number in flake.nix
 [ ] Change version number in test pkg010 (TODO: make this step unnecessary!)
 [ ] Update bootstrap chez and racket
 [ ] Tag on github with version number (in the form vX.Y.Z)
diff --git a/flake.nix b/flake.nix
index d0c786d16..f08940fac 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,7 +8,7 @@
   };
 
   outputs = { self, nixpkgs, flake-utils, idris-emacs-src }:
-    let idris2-version = "0.3.0";
+    let idris2-version = "0.4.0";
     in flake-utils.lib.eachDefaultSystem (system:
       let pkgs = import nixpkgs { inherit system; };
           idris2Pkg = pkgs.callPackage ./nix/package.nix { inherit idris2-version; };
diff --git a/idris2api.ipkg b/idris2api.ipkg
index 7d5bb446b..ddbb8cca4 100644
--- a/idris2api.ipkg
+++ b/idris2api.ipkg
@@ -1,5 +1,5 @@
 package idris2
-version = 0.3.0
+version = 0.4.0
 
 modules =
     Algebra,