[Agda] Agda2hs 1.1 release

[Jesper Cockx]

Dear Agda folks,

I am very happy to announce the official release of agda2hs version 1.1. You can find it on Hackage at https://hackage.haskell.org/package/agda2hs-1.1, or on Github at https://github.com/agda/agda2hs/tree/v1.1. The most important update is compatibility with Agda 2.6.4, but there also have been a couple of other updates and bugfixes. You can find the changelog at https://hackage.haskell.org/package/agda2hs-1.1/changelog.

Best regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231023/116de9e2/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 644 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231023/116de9e2/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 249 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231023/116de9e2/attachment.sig>