math/hs-Agda: Unbreak emacs stuff.
Reported by: pkg-fallout
(cherry picked from commit fa64017c84e0d09ccca99a66dfffa2befbd9e139)
Description
Description
Details
Details
- Provenance
arrowd Authored on Sep 6 2023, 7:22 PM - Parents
- R11:a988b910f667: www/ungoogled-chromium: update to 116.0.5845.179
- Branches
- Unknown
- Tags