on master help sign in
Idris-dev/test/pkg002/test.ipkg
8 lines 155 B history raw
1package test
3modules = Main
6opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
7main = Main
8executable = some.namespaced.identifier