This website requires JavaScript.
Explore
Help
Sign In
mirror
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
mirror of
https://git.FreeBSD.org/ports.git
synced
2025-01-08 06:48:28 +00:00
Code
Issues
Releases
Activity
1916f0228d
freebsd-ports
/
math
/
hs-Agda
History
Gleb Popov
e1e31469bd
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
...
with our new Emacs.
2020-08-19 12:27:36 +00:00
..
distinfo
lang/ghc: Update to 8.10.1.
2020-08-16 07:56:18 +00:00
Makefile
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
2020-08-19 12:27:36 +00:00
pkg-descr
pkg-plist
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
2020-08-19 12:27:36 +00:00