agda2hs-1.3: agda2hs.agda-lib

name: agda2hs
depend:
include: lib
flags: -W noUnsupportedIndexedMatch --erasure