Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Francisco <fg@frang.io>
2 lines
19 B
Plaintext
2 lines
19 B
Plaintext
certora-cli==3.6.4
|