The latest version of certora-cli-alpha-jtoman-cert-2127 with no known security vulnerabilities is 20230518.4.46.915528. We recommend installing version 20230518.4.46.915528.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.