/testing/idris2/
../
0001-Flush-standard-out-after-writing-prompt-to-it.patch
0002-Better-default-permissions-for-created-directories.patch
0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch
APKBUILD