The latest version of certora-cli-alpha-mike-migration-script with no known security vulnerabilities is 20230516.16.51.788505. We recommend installing version 20230516.16.51.788505.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.