rhi
/
idris2-tap
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity
idris2-tap/pack.toml

7 lines
92 B
TOML
Raw Permalink Blame History

collection = "nightly-230916"
[custom.all.tap]
type = "local"
path = "."
ipkg = "tap.ipkg"
Reference in New Issue View Git Blame Copy Permalink