search

runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
9 stars 6 forks source link

Update dependencies #74

Closed rv-jenkins closed 4 years ago

rv-jenkins commented 4 years ago

PR generated by './update-deps/update-deps'