-- File generated by Agda-Pkg
name:    HyperReal
depend:  standard-library
include: src
-- End