bump versions everywhere

agda · Oct 10, 2023 · ad74381 · ad74381
1 parent fc99ea4
commit ad74381
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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: