From abela at chalmers.se Wed Dec 8 09:17:12 2021 From: abela at chalmers.se (Andreas Abel) Date: Wed, 8 Dec 2021 09:17:12 +0100 Subject: [Agda-dev] [Agda] [ANNOUNCE] Agda 2.6.2 In-Reply-To: References: Message-ID: <300354f8-df09-c280-44b3-8fcd7f805db7@chalmers.se> Dear all, The Agda Team is very pleased to announce the release of Agda 2.6.2.1. # Changes https://hackage.haskell.org/package/Agda-2.6.2.1/changelog Highlights: - Agda 2.6.2.1 catches up to changes in the Haskell ecosystem (GHC 9.2.1, aeson-2.0, hashable-1.4.). - It fixes some regressions introduced in 2.6.1. - It fixes some regressions introduced in 2.6.2. - It improves on the compiler backends. Agda 2.6.2.1 has been tested with GHC 9.2.1, 9.0.1, 8.10.5, 8.8.4, 8.6.5, 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows. # Installation You can install Agda 2.6.2.1 with Cabal or stack. See: https://agda.readthedocs.io/en/v2.6.2.1/getting-started/installation.html # Standard library Use standard library version 1.7.1 (or keep using 1.7 if you do not care about GHC 9.2.1). https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary Enjoy Agda 2.6.2.1! -- 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/ -------------- next part -------------- _______________________________________________ Agda mailing list Agda at lists.chalmers.se https://lists.chalmers.se/mailman/listinfo/agda From abela at chalmers.se Wed Dec 8 17:16:20 2021 From: abela at chalmers.se (Andreas Abel) Date: Wed, 8 Dec 2021 17:16:20 +0100 Subject: [Agda-dev] Latest issue statistics Message-ID: Fiddled with the updated GitHub API to once more produce charts for the issue projection: https://github.com/agda/agda/issues/5555#issuecomment-988948049 The number of issues remaining open is still growing, but not terribly beyond linear. -- 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/