dinosaure
071183ff6c
Fixes #116. Co-authored-by: Romain Calascibetta <romain.calascibetta@gmail.com> Co-authored-by: Reynir Björnsson <reynir@reynir.dk> Reviewed-on: https://git.robur.io/robur/builder-web/pulls/119 Co-authored-by: dinosaure <romain.calascibetta@gmail.com> Co-committed-by: dinosaure <romain.calascibetta@gmail.com>
21 lines
221 B
Text
21 lines
221 B
Text
(library
|
|
(name builder_web)
|
|
(libraries
|
|
builder
|
|
builder_db
|
|
dream
|
|
tyxml
|
|
bos
|
|
duration
|
|
hex
|
|
caqti-lwt
|
|
opamdiff
|
|
ptime.clock.os
|
|
omd
|
|
tar
|
|
owee
|
|
solo5-elftool
|
|
decompress.de
|
|
decompress.gz
|
|
uri
|
|
))
|