K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-08-31T10:58:30.915540Z
K 7
svn:log
V 104
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve
in new GHC releases.

END