name: agda-helium-0.1
depend: standard-library-2.0
include: src