math/hs-Agda: Install emacs mode files.
PR: 246254
Description
Description
Details
Details
- Provenance
arrowd Authored on - Parents
- rP534199: - Removing some abandonware. Upstream has disapeared many years ago.
- Branches
- Unknown
- Tags
math/hs-Agda: Install emacs mode files. Tags None Referenced Files None Subscribers None |