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