idris-0.12.2: test/pkg002/test.ipkg
package test modules = Main opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" main = Main executable = some.namespaced.identifier
package test modules = Main opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" main = Main executable = some.namespaced.identifier