// This file contains the version string we expect as part of the output from calling cppcheck-premium --version
// If you want to update to a newer version
// 1. Update the Teamscale base docker image (used in tests and to generate the Teamscale Distribution)
//    a) Upload the new binaries for Ubuntu (check which version of Ubuntu we use currently) to the teamscale-public-build-artifacts GCP Bucket
//       https://cqse.atlassian.net/wiki/spaces/TS/pages/2679242790/Direct+Links+to+GCP+Buckets
//    b) Update the download link in server/Dockerfile.base
// 2. Check whether the new version still offers the same checks (could be checks missing or new checks added)
//    a) update the check-mappings.tsv file
// 3. search for/update the version number (e.g., "24.11.0") in
//    a) the docs/ folder
//    b) test data. For example, server/com.teamscale.service/src/test/resources/com/teamscale/service/findings/cppcheck/expectedPremiumServiceResponse.txt
// 4. Check the "HowToUpdate.md" file in the cppcheck opensource folder next to this one.
Cppcheck Premium 25.8.3
