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