The latest version of certora-cli-alpha-antti-learned-lemma-passing-cvl2 with no known security vulnerabilities is 20230517.9.39.262005. We recommend installing version 20230517.9.39.262005.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.