The latest version of certora-cli-alpha-thomas-doc-cvl-type with no known security vulnerabilities is 20230509.0.6.796195. We recommend installing version 20230509.0.6.796195.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.