JJ: Description from the destination commit:
wip parse from gana JJ: Description from source commit: .
This commit is contained in:
parent
21d172d884
commit
88223fbf14
3 changed files with 319 additions and 5 deletions
|
|
@ -4,4 +4,8 @@
|
|||
(modules offline offline_impl offline_sig)
|
||||
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
|
||||
|
||||
; todo depends on curl
|
||||
(executable
|
||||
(public_name gen_signatures_registry)
|
||||
(name gen_signatures_registry)
|
||||
(modules gen_signatures_registry)
|
||||
(libraries angstrom bos fmt))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue