[Agda-dev] Release candidate for Agda 2.6.1.2

[Andreas Abel]

There is now a hackage candidate release for Agda 2.6.1.2 at

   https://hackage.haskell.org/package/Agda-2.6.1.2/candidate

Please let me know if you see something that's wrong, or this Agda fails 
to install...

Otherwise I'll release to hackage soon and then apply for addition to 
Stackage nightly.  Agda 2.6.1.2 is basically 2.6.1.1 with some version 
bumps to be compatible with Stackage nightly.

Best,
Andreas

-- 
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/