[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 2
Andrés Sicard-Ramírez
asr at eafit.edu.co
Mon Mar 9 02:55:52 CET 2020
Dear all,
The Agda Team is very pleased to announce the second release candidate
(RC2) of Agda 2.6.1.
Installation
=======
RC2 can be installed using the following instructions:
$ cabal install
https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/Agda-2.6.0.1.20200307.tar.gz
or
$ cabal get https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/Agda-2.6.0.1.20200307.tar.gz
$ Agda-2.6.0.1.20200307.tar.gz
$ cabal install
You can also install RC2 using the Nix-style local builds and
`cabal-install 3.0.0.0`. See
https://agda.readthedocs.io/en/latest/getting-started/installation.html#installation-from-hackage
in the user manual.
GHC supported versions
===============
RC2 has been tested with GHC 8.8.3, 8.6.5, 8.4.4, 8.2.2 and 8.0.2.
Support for GHC 7.10.3 was removed.
Standard library
==========
For the time being, you can use the *master* branch of the
standard library which is compatible with RC2. This branch is
available at
https://github.com/agda/agda-stdlib/
What is new, fixed issues and incompatibilities
============================
See https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/changelog
.
Enjoy RC2 and please test as much as possible.
--
Andrés, on behalf of the Agda Team
More information about the Agda
mailing list