packages feed

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"