name: standard-library
include: /usr/share/agda-stdlib
flags: --warning=noUnsupportedIndexedMatch