packages feed

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