math/hs-Agda: update 2.7.0.1 => 2.8.0
PR: 288578
Approved by: alven@ (maintainer, with haskell@ hat)
Approved by: yuri@ (Mentor)
Description
Description
Details
Details
- Provenance
Älven Authored on Jul 31 2025, 6:59 PM - Parents
- R11:4ef4c3591377: Revert "math/hs-Agda: Disable building emacs mode files until upstream fixes it"
- Branches
- Unknown
- Tags