[Haskell-cafe] [ANNOUNCE] Agda 2.6.4.2 retracted

Andreas Abel abela at chalmers.se
Mon Feb 26 21:11:49 UTC 2024


The Agda Team is not very pleased to announce that it has to retract 
Agda 2.6.4.2 due to a regression concerning `with`:

   https://github.com/agda/agda/issues/7148

So, please do not install it, wait for the next release.

On 2024-02-24 12:20, Andreas Abel wrote:
> Dear all,
> 
> The Agda Team is pleased to announce the release of Agda 2.6.4.2.
> 
> Agda 2.6.4.2 is a bugfix release over Agda 2.6.4.1:
> 
> - Fix an inconsistency in Cubical Agda related to catch-all clauses.
> - Fix some internal errors.
> - Fix an issue with `opaque`.
> - Fix building with cabal flag `-f debug-serialisation`.
> 
> # GHC supported versions
> 
> Agda 2.6.4.2 has been tested with GHC 9.8.1, GHC 9.6.4, 9.4.8, 9.2.8, 
> 9.0.2, 8.10.7, 8.8.4 and 8.6.5 on Linux, macOS and Windows.
> 
> # Installation
> 
> Agda 2.6.4.2 can be installed using cabal-install or stack:
> 
> 1. Getting the tarball
> 
>          $ cabal update
>          $ cabal get Agda-2.6.4.2
>          $ cd Agda-2.6.4.2
> 
> 2. a. Using cabal-install
> 
>        $ cabal install -f +optimise-heavily -f +enable-cluster-counting
> 
> 2. b. Using stack
> 
>        $ stack --stack-yaml stack-a.b.c.yaml install --flag 
> Agda:optimise-heavily --flag Agda:enable-cluster-counting
> 
> replacing `a.b.c` with your version of GHC.
> 
> The flags mean:
> 
>    - optimise-heavily:
>      Turn on extra optimisation for a faster Agda.
>      Takes large resources during compilation of Agda.
> 
>    - enable-cluster-counting:
>      Enable unicode clusters for alignment in the LaTeX backend.
>      Requires the ICU lib to be installed and known to pkg-config.
> 
> These flags can be dropped from the install if causing trouble.
> 
> # Standard library
> 
> You can use standard library v1.7.3, v2.0 or the `master` branch of the
> standard library with Agda 2.6.4.2.  This branch is available at
> 
>    https://github.com/agda/agda-stdlib/
> 
> # Fixed issues over Agda 2.6.4.1
> 
>    https://hackage.haskell.org/package/Agda-2.6.4.2/candidate/changelog
> 
> Enjoy Agda 2.6.4.2!
> 
> Andreas, on behalf of the Agda Team
> 

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/


More information about the Haskell-Cafe mailing list