math/hs-Agda: Disable building emacs mode files until upstream fixes it
Reported by: pkg-fallout
Description
Description
Details
Details
- Provenance
arrowd Authored on Sat, Aug 15, 12:34 PM - Parents
- R11:4271b76acc5d: cad/pythonocc-core: new port, 3D modeling based on the OpenCascade Technology
- Branches
- Unknown
- Tags