mirror of openzeppelin-contracts
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
certora-cli==4.13.1
|
|
# File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build
|
|
# whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos
|
|
halmos==0.2.0
|
|
|
