21 lines
225 B
Text
21 lines
225 B
Text
(library
|
|
(name builder_web)
|
|
(libraries
|
|
builder
|
|
builder_db
|
|
dream
|
|
tyxml
|
|
bos
|
|
duration
|
|
hex
|
|
caqti-lwt
|
|
opamdiff
|
|
ptime.clock.os
|
|
cmarkit
|
|
tar
|
|
owee
|
|
solo5-elftool
|
|
decompress.de
|
|
decompress.gz
|
|
uri
|
|
))
|