Release v0.6 for agda 2.6.4 (#1050)

* update some call following agda's warning

* bump versions everywhere

* bump versions everywhere

* nix: flake update

* README: more working agda-versions

* deactivate ci-nix

* update release date

---------

Co-authored-by: Naïm Favier <n@monade.li>

.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'

CITATION.cff

@@ -3,6 +3,6 @@ message: "If you use this software, please cite it as below."
 authors:
 - name: "The Agda Community"
 title: "Cubical Agda Library"
-version: 0.5
-date-released: 2023-07-05
+version: 0.6
+date-released: 2023-10-24
 url: "https://github.com/agda/cubical"

Cubical/Tactics/Reflection.agda

@@ -89,7 +89,7 @@ get-boundary tm = unapply-path tm >>= λ where
 equation-solver : List Name → (Term -> Term -> TC Term) → Bool → Term → TC Unit
 equation-solver don't-Reduce mk-call debug hole =
     withNormalisation false (
-    dontReduceDefs don't-Reduce (
+    withReduceDefs (false , don't-Reduce) (
     do
       -- | First we normalize the goal
       goal ← inferType hole >>= reduce

README.md

@@ -12,17 +12,18 @@ For detailed install instructions see the
 [INSTALL](https://github.com/agda/cubical/blob/master/INSTALL.md)
 file.
 If you want to use some specific release of Agda,
-the following table lists which release of Agda you can use with which release of this library.
+the following table lists which releases of Agda you can use with which release of this library.
 Agda versions as written below, correspond to tags.
 
-| cubical library version | Agda version   |
-|-------------------------|----------------|
-| `current master`        | `v2.6.3`       |
-| `v0.5`                  | `v2.6.3`       |
-| `v0.4`                  | `v2.6.2.2`     |
-| `v0.3`                  | `v2.6.2`       |
-| `v0.2`                  | `v2.6.1.3`     |
-| `v0.1`                  | `v2.6.0.1`     |
+| cubical library version | Agda versions     |
+|-------------------------|-------------------|
+| `current master`        | `v2.6.4`          |
+| `v0.6`                  | `v2.6.4`          |
+| `v0.5`                  | `v2.6.3` `v2.6.4` |
+| `v0.4`                  | `v2.6.2.2`        |
+| `v0.3`                  | `v2.6.2`          |
+| `v0.2`                  | `v2.6.1.3`        |
+| `v0.1`                  | `v2.6.0.1`        |
 
 For example, if you have Agda 2.6.2.2, you can switch to version 0.4 of the cubical library with
 ```

cubical.agda-lib

@@ -1,4 +1,4 @@
-name: cubical-0.5
+name: cubical-0.6
 include: .
 depend:
 flags: --cubical --no-import-sorts -WnoUnsupportedIndexedMatch

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: