+dune libs
This commit is contained in:
parent
e849c418e9
commit
a513c00ac8
1 changed files with 20 additions and 9 deletions
29
src/dune
29
src/dune
|
|
@ -12,25 +12,36 @@
|
|||
(wrapped false)
|
||||
(modules :standard \ mte b32)
|
||||
(libraries
|
||||
;
|
||||
mkernel
|
||||
mnet
|
||||
mnet-happy-eyeballs
|
||||
mnet-dns
|
||||
vifu
|
||||
gmp
|
||||
mirage-crypto
|
||||
mirage-crypto-rng
|
||||
mirage-crypto-rng-mkernel
|
||||
mirage-ptime.solo5
|
||||
;
|
||||
b32
|
||||
;
|
||||
; caqti
|
||||
caqti
|
||||
caqti-miou
|
||||
caqti-mnet
|
||||
caqti-driver-pgx
|
||||
pgx
|
||||
;
|
||||
bin
|
||||
mirage-crypto
|
||||
jsont
|
||||
cohttp ; just for header stuff
|
||||
duration
|
||||
kdf.hkdf
|
||||
digestif
|
||||
duration
|
||||
vif
|
||||
fmt
|
||||
jsont
|
||||
cohttp
|
||||
ptime
|
||||
fmt.tty
|
||||
logs
|
||||
logs.fmt
|
||||
fmt.tty))
|
||||
logs.fmt))
|
||||
|
||||
(library ; crockford base32
|
||||
(name b32)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue