idris-1.2.0: test/pkg004/test.ipkg
package test modules = Main opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" main = Main executable = "filenames/cannot include\\a directory separator"
package test modules = Main opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" main = Main executable = "filenames/cannot include\\a directory separator"