From asr at eafit.edu.co  Mon Mar  9 02:55:52 2020
From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=)
Date: Sun, 8 Mar 2020 20:55:52 -0500
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1 release candidate 2
In-Reply-To: <CAOUWSGAA8XC_Kde2TQf4a8M-TSBWkrx9N9uuzb--7PftxF9QnQ@mail.gmail.com>
References: <CAOUWSGAA8XC_Kde2TQf4a8M-TSBWkrx9N9uuzb--7PftxF9QnQ@mail.gmail.com>
Message-ID: <CAOUWSGB6SMtAVetcNyeFg0JPuQC=P8bfuX-PMsPCohZp3EXAcg@mail.gmail.com>

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

From asr at eafit.edu.co  Mon Mar  9 04:19:41 2020
From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=)
Date: Sun, 8 Mar 2020 22:19:41 -0500
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1 release candidate 2
In-Reply-To: <CAOUWSGB6SMtAVetcNyeFg0JPuQC=P8bfuX-PMsPCohZp3EXAcg@mail.gmail.com>
References: <CAOUWSGAA8XC_Kde2TQf4a8M-TSBWkrx9N9uuzb--7PftxF9QnQ@mail.gmail.com>
	<CAOUWSGB6SMtAVetcNyeFg0JPuQC=P8bfuX-PMsPCohZp3EXAcg@mail.gmail.com>
Message-ID: <CAOUWSGDNPgEFFn=_n4eyxfskXb6MfReVrX_pYma83s5gDc+MZA@mail.gmail.com>

On Sun, 8 Mar 2020 at 20:55, Andr?s Sicard-Ram?rez <asr at eafit.edu.co> wrote:
> RC2 can be installed using the following instructions:
>
>   $ 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

The correct instructions are:

   $ cabal get https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/Agda-2.6.0.1.20200307.tar.gz
   $ cd Agda-2.6.0.1.20200307
   $ cabal install

Best regards,

-- 
Andr?s

From asr at eafit.edu.co  Mon Mar 16 06:49:30 2020
From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=)
Date: Mon, 16 Mar 2020 00:49:30 -0500
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1
Message-ID: <CAOUWSGAU36pT+d499Drf1=OXoQey4Z1SvQS3n-5gWvBSp81uVQ@mail.gmail.com>

Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.1.

* GHC supported versions

Agda 2.6.1 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.

* Installation

  cabal update && cabal install Agda

* Standard library

For the time being, you can use the *master* branch of the
standard library which is compatible with Agda 2.6.1. This branch is
available at

    https://github.com/agda/agda-stdlib/

* What is new, fixed issues and incompatibilities

See http://hackage.haskell.org/package/Agda-2.6.1/changelog

Enjoy Agda 2.6.1.

-- 
Andr?s on behalf of the Agda Team