agda/doc/release-notes/2.6.1.2.md

Release notes for Agda version 2.6.1.2

• Build with latest versions of hackage packages:

  • aeson (1.5.3), issue #4838
  • strict (0.4), commit 0497ec9

• Build with dynamic linking, issue #4569