Gleb Popov 5224201302 math/hs-Agda: Install emacs mode files. ... PR: 246254		2020-05-06 20:31:28 +00:00
..
distinfo
Makefile	math/hs-Agda: Install emacs mode files.	2020-05-06 20:31:28 +00:00
pkg-descr
pkg-plist	math/hs-Agda: Install emacs mode files.	2020-05-06 20:31:28 +00:00