diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
index 591f1e5bcf..daece42b6b 100644
--- a/.github/workflows/ci-ubuntu.yml
+++ b/.github/workflows/ci-ubuntu.yml
@@ -42,7 +42,7 @@ on:
 ########################################################################
 
 env:
-  AGDA_BRANCH: v2.6.3
+  AGDA_BRANCH: v2.6.4
   GHC_VERSION: 9.2.5
   CABAL_VERSION: 3.6.2.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
diff --git a/README.md b/README.md
index 92faa73a1d..31cf900200 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,8 @@ Agda versions as written below, correspond to tags.
 
 | cubical library version | Agda version   |
 |-------------------------|----------------|
-| `current master`        | `v2.6.3`       |
+| `current master`        | `v2.6.4`       |
+| `v0.6`                  | `v2.6.4`       |
 | `v0.5`                  | `v2.6.3`       |
 | `v0.4`                  | `v2.6.2.2`     |
 | `v0.3`                  | `v2.6.2`       |
diff --git a/cubical.agda-lib b/cubical.agda-lib
index b9fcbdb627..6565f1c369 100644
--- a/cubical.agda-lib
+++ b/cubical.agda-lib
@@ -1,4 +1,4 @@
-name: cubical-0.5
+name: cubical-0.6
 include: .
 depend:
 flags: --cubical --no-import-sorts -WnoUnsupportedIndexedMatch
diff --git a/flake.nix b/flake.nix
index cec52b0c13..2d5fcb7c3d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,7 +8,7 @@
     flake = false;
   };
   inputs.agda = {
-    url = "github:agda/agda/v2.6.3";
+    url = "github:agda/agda/v2.6.4";
     inputs = {
       nixpkgs.follows = "nixpkgs";
       flake-utils.follows = "flake-utils";
@@ -21,7 +21,7 @@
       overlay = final: prev: {
         cubical = final.agdaPackages.mkDerivation rec {
           pname = "cubical";
-          version = "0.5";
+          version = "0.6";
 
           src = cleanSourceWith {
             filter = name: type: