math/hs-Agda: Install emacs mode files.
PR: 246254
Description
Description
Details
Details
- Provenance
arrowd Authored on May 6 2020, 8:31 PM - Parents
- R11:e9812368f2af: - Removing some abandonware. Upstream has disapeared many years ago.
- Branches
- Unknown
- Tags