Update ffi to proofs v7

This commit is contained in:
Łukasz Magiera
2021-04-30 14:28:36 +02:00
parent 4db800473f
commit 19ced50d81