math/hs-Agda: Disable building emacs mode files until upstream fixes it
See https://github.com/agda/agda/issues/7730
Reported by: pkg-fallout
(cherry picked from commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f)
Description
Description
Details
Details
- Provenance
arrowd Authored on Mar 4 2025, 12:27 PM - Parents
- R11:20ba05c2c778: devel/electron33: update to 33.4.8
- Branches
- Unknown
- Tags
- References
- 2025Q1