name: standard-library
include: /usr/share/agda-stdlib