| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Agda-v2.8.0.2-linux.tar.xz | 2026-09-13 | 8.5 MB | |
| Agda-v2.8.0.2-macOS-arm64.tar.xz | 2026-09-13 | 15.9 MB | |
| Agda-v2.8.0.2-macOS-x64.tar.xz | 2026-09-13 | 7.5 MB | |
| Agda-v2.8.0.2-win64.zip | 2026-09-13 | 20.9 MB | |
| README.md | 2026-09-13 | 681 Bytes | |
| v2.8.0.2 source code.tar.gz | 2026-09-13 | 5.0 MB | |
| v2.8.0.2 source code.zip | 2026-09-13 | 7.9 MB | |
| Totals: 7 Items | 65.7 MB | 0 | |
Release notes for Agda version 2.8.0.2
This version fixes two issues with the released binaries. No non-installation related issues were fixed over 2.8.0 or 2.8.0.1. So if you have installed 2.8.0 or 2.8.0.1 already there is no need to upgrade to 2.8.0.2.
- Fix problem with missing
zlib1.dllin released Windows binary (issue [#8733]) -
Remove commit hash from version number in released binaries (issue [#8716])
-
Agda supports GHC versions 8.8.4 to 9.14.1.
Full Changelog: https://github.com/agda/agda/compare/v2.8.0.1...v2.8.0.2
