[ANNOUNCE] Agda 2.6.4.2 retracted
Andreas Abel <abela-Ga8gg/[email protected]>
| Newsgroups | gmane.comp.lang.agda,gmane.comp.lang.agda.devel,gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] http://www.cse.chalmers.se/~abela/ _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda