On 2019-12-22 14:41, Andres Sicard Ramirez wrote: > Dear all, > > The Agda Team is very pleased to announce the first release candidate > of Agda 2.6.1. We plan to release 2.6.1 in three weeks. > [..] I have tested it on two my application programs, under ghc-8.6.3, MAlonzo. It looks all right. -- SM