wip type binary signature
This commit is contained in:
parent
166e24b7fd
commit
0296e9374a
145 changed files with 14 additions and 9888 deletions
7
tools/dune
Normal file
7
tools/dune
Normal file
|
|
@ -0,0 +1,7 @@
|
|||
(executable
|
||||
(public_name offline)
|
||||
(name offline)
|
||||
(modules offline offline_impl offline_bin)
|
||||
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
|
||||
|
||||
; todo depends on curl
|
||||
Loading…
Add table
Add a link
Reference in a new issue