Alessandro Decina 897c94d5b8 Minor tweaks to make the verifier's job easier %!s(int64=3) %!d(string=hai) anos
..
.cargo 301092ac2e Initial commit %!s(int64=3) %!d(string=hai) anos
src 897c94d5b8 Minor tweaks to make the verifier's job easier %!s(int64=3) %!d(string=hai) anos
Cargo.toml ac5a2d5dbb Switch to aya-ufmt %!s(int64=3) %!d(string=hai) anos