test-pkg.ipkg

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 = https://www.idris-lang.org
sourceloc = https://www.github.com/idris-lang/Idris-Dev
bugtracker = https://www.github.com/idris-lang/Idris-Dev/issues