2.6.1.2.md 404 B
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