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 Normal View History

bump pack db
2023-09-17 10:57:24 -04:00
collection = "nightly-230916"
nix → pack
2023-03-03 15:09:17 -05:00
[custom.all.tap]
type = "local"
path = "."
ipkg = "tap.ipkg"