Sören Tempel 69ea20e482 testing/idris2: disable tests on x86 ... See https://github.com/idris-lang/Idris2/issues/1617		2021-06-26 01:00:10 +02:00
..
APKBUILD	testing/idris2: disable tests on x86	2021-06-26 01:00:10 +02:00
static-inline.patch