K 10
svn:author
V 3
pgj
K 8
svn:date
V 27
2015-08-29T10:59:13.160224Z
K 7
svn:log
V 122
- Hook math/hs-Agda-stdlib into the build that was missed during the latest
  global Haskell update

Reported by:	antoine

END