sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/math/hs-Agda
History
Exact
Gleb Popov e1197b1e58 math/hs-Agda: Disable building emacs mode files until upstream fixes it 
See https://github.com/agda/agda/issues/7730
Reported by:	pkg-fallout
2025-03-04 15:28:48 +03:00
..
distinfo
Makefile math/hs-Agda: Disable building emacs mode files until upstream fixes it 2025-03-04 15:28:48 +03:00
pkg-descr
pkg-plist math/hs-Agda: Disable building emacs mode files until upstream fixes it 2025-03-04 15:28:48 +03:00