name: MiniJuvix
include: src
depend: agda2hs