The latest version of certora-cli-alpha-naftali-cert-2050-convert-bool-internal-summary-arguments with no known security vulnerabilities is 20230511.11.17.276233. We recommend installing version 20230511.11.17.276233.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.