K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2019-06-13T18:51:51.718132Z
K 7
svn:log
V 94
math/hs-Agda: Update to latest version and unbreak.

Approved by:	tcberner (mentor, implicit)

END