From asr at eafit.edu.co Thu Jul 19 21:12:59 2018 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Thu, 19 Jul 2018 14:12:59 -0500 Subject: [Agda-dev] [ANNOUNCE] Agda 2.5.4.1 Message-ID: Dear all, The Agda Team is very pleased to announce release of Agda 2.5.4.1. In this bug-fix release, we fixed a regression in Agda 2.5.4 related to the highlighting in the Emacs mode and we fixed a bug related to system-wide installations. See the details in https://hackage.haskell.org/package/Agda-2.5.4.1/changelog GHC supported versions =============== Agda 2.5.4.1 has been tested with GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.3. Note that GHC 8.4.* requires cabal-install ? 2.2.0.0. Installation ======= cabal update && cabal install Agda Standard library ========== The standard library 0.16 is compatible with Agda 2.5.4.1. Enjoy Agda 2.5.4.1. -- Andr?s on behalf of the Agda Team