2020-12-02 13:33:15 +00:00
|
|
|
(executable
|
2021-01-22 10:12:49 +00:00
|
|
|
(public_name builder-web)
|
2020-12-02 13:33:15 +00:00
|
|
|
(name builder_web_app)
|
2021-01-08 12:47:17 +00:00
|
|
|
(modules builder_web_app)
|
2021-05-26 13:16:17 +00:00
|
|
|
(libraries builder_web mirage-crypto-rng.unix cmdliner logs.cli fmt.cli fmt.tty ptime.clock.os metrics metrics-lwt metrics-influx metrics-rusage ipaddr ipaddr.unix))
|
2021-01-08 12:47:17 +00:00
|
|
|
|
|
|
|
|
(executable
|
|
|
|
|
(public_name builder-db)
|
|
|
|
|
(name builder_db)
|
|
|
|
|
(modules builder_db)
|
2021-01-20 21:50:35 +00:00
|
|
|
(libraries builder_db caqti.blocking uri bos fmt logs logs.cli logs.fmt cmdliner mirage-crypto-rng.unix))
|
