package "test-pkg" pkgs = effects opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80" modules = Main author = Anne Author maintainer = Anne Maintainer license = BSD3 but see LICENSE for more information brief = "This is a test package." readme = README.md version = 1234 homepage = http://www.idris-lang.org sourceloc = http://ww.github.com/idris-lang/Idris-Dev bugtracker = http://ww.github.com/idris-lang/Idris-Dev/issues