Gleb Popov fa64017c84 math/hs-Agda: Unbreak emacs stuff. ...

Reported by:	pkg-fallout

2023-09-06 22:22:52 +03:00

..

files

math/hs-Agda: Unbreak emacs stuff.

2023-09-06 22:22:52 +03:00

distinfo

…

Makefile

math/hs-Agda: Unbreak emacs stuff.

2023-09-06 22:22:52 +03:00

pkg-descr

…

pkg-plist

…