idris-0.9.20: test/pkg001/test.ipkg
package test pkgs = effects opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" modules = Main
package test pkgs = effects opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" modules = Main