K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-05-06T20:31:28.679124Z
K 7
svn:log
V 53
math/hs-Agda: Install emacs mode files.

PR:		246254

END