?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
archrelease: copy trunk to community-any
[ArchLinux/community.git] / agda-stdlib / trunk / standard-library.agda-lib.in
blobc2ff28ed8a16600799805a28332f53bcc622043d
1 name: standard-library-2.0
2 include: stdlib
3 flags:
4   --warning=noUnsupportedIndexedMatch
Automatic import of svn 'community' repo (read-only mirror)