generate taler_signatures.ml from GANA database
This commit is contained in:
parent
585d37a6df
commit
7749386750
9 changed files with 427 additions and 158 deletions
1
src/dune
1
src/dune
|
|
@ -10,7 +10,6 @@
|
|||
(modules :standard \ mte b32)
|
||||
(libraries
|
||||
b32
|
||||
include
|
||||
;
|
||||
caqti
|
||||
caqti-miou
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue