-- File generated by Agda-Pkg
name:    automaton-in-agda
depend: standard-library
include: src

-- End