summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/files
ModeNameSize
-rw-r--r--idris2-0.7.0-disable-allbackends-tests.patch255logplain