Update ffi to proofs v7

This commit is contained in:
Łukasz Magiera
2021-04-30 14:30:12 +02:00
parent 95e0c3df1d
commit 7c37618b50