Further builder-web opam updates
This commit is contained in:
parent
4dada88918
commit
a16b340ce6
1 changed files with 1 additions and 3 deletions
|
@ -47,11 +47,9 @@ depends: [
|
||||||
"uri"
|
"uri"
|
||||||
"fmt" {>= "0.8.7"}
|
"fmt" {>= "0.8.7"}
|
||||||
"omd"
|
"omd"
|
||||||
"modulectomy"
|
|
||||||
"opam-graph"
|
|
||||||
"tar"
|
"tar"
|
||||||
"owee"
|
"owee"
|
||||||
"solo5-elftool"
|
"solo5-elftool" {>= "0.3.0"}
|
||||||
"decompress"
|
"decompress"
|
||||||
]
|
]
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue