templates/idris2/package.ipkg

8 lines
87 B
Plaintext
Raw Permalink Normal View History

2024-03-05 16:52:45 +01:00
package package
depends = contrib
sourcedir = "src"
main = Main
executable = package