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
Makefile
pkg-descr
pkg-plist