K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-08-23T15:57:48.886504Z
K 7
svn:log
V 64
math/hs-Agda: Fix build with new GHC.

Reported by:	pkg-fallout

END