templates/idris2/package.ipkg

8 lines
87 B
Plaintext

package package
depends = contrib
sourcedir = "src"
main = Main
executable = package