melocule/pack.toml at main · idris-bayes/melocule · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
[custom.all.parser]
type   = "github"
url    = "https://github.com/idris-bayes/parser"
commit = "latest:master"
ipkg   = "parser.ipkg"

[custom.all.midi]
type   = "github"
url    = "https://github.com/idris-bayes/midi"
commit = "latest:main"
ipkg   = "midi.ipkg"

[custom.all.log-domain]
type   = "github"
url    = "https://github.com/idris-bayes/log-domain"
commit = "latest:main"
ipkg   = "log-domain.ipkg"

[custom.all.distribution]
type   = "github"
url    = "https://github.com/idris-bayes/distribution"
commit = "latest:main"
ipkg   = "distribution.ipkg"

[custom.all.free]
type   = "github"
url    = "https://github.com/idris-bayes/free"
commit = "latest:main"
ipkg   = "free.ipkg"

[custom.all.monad-bayes]
type   = "github"
url    = "https://github.com/idris-bayes/monad-bayes"
commit = "latest:main"
ipkg   = "monad-bayes.ipkg"