Update owee->cachet change in solo5-elftool
This commit is contained in:
parent
2ff5e7c5a9
commit
f33bb55eb7
2 changed files with 2 additions and 2 deletions
|
@ -46,7 +46,7 @@ depends: [
|
||||||
"cmarkit" {>= "0.3.0"}
|
"cmarkit" {>= "0.3.0"}
|
||||||
"tar" {>= "3.0.0"}
|
"tar" {>= "3.0.0"}
|
||||||
"tar-unix" {>= "3.0.0"}
|
"tar-unix" {>= "3.0.0"}
|
||||||
"cachet"
|
"cachet" {>= "0.2.0"}
|
||||||
"solo5-elftool" {>= "0.4.0"}
|
"solo5-elftool" {>= "0.4.0"}
|
||||||
"decompress" {>= "1.5.0"}
|
"decompress" {>= "1.5.0"}
|
||||||
"digestif" {>= "1.2.0"}
|
"digestif" {>= "1.2.0"}
|
||||||
|
|
2
lib/dune
2
lib/dune
|
@ -1,5 +1,5 @@
|
||||||
(library
|
(library
|
||||||
(name builder_web)
|
(name builder_web)
|
||||||
(libraries builder builder_db dream tyxml bos duration ohex caqti-lwt
|
(libraries builder builder_db dream tyxml bos duration ohex caqti-lwt
|
||||||
opamdiff ptime.clock.os cmarkit tar tar.gz tar-unix owee solo5-elftool decompress.de
|
opamdiff ptime.clock.os cmarkit tar tar.gz tar-unix cachet solo5-elftool decompress.de
|
||||||
decompress.gz uri digestif dream-encoding))
|
decompress.gz uri digestif dream-encoding))
|
||||||
|
|
Loading…
Reference in a new issue