Go to file
Jerry James 84ec457e0a Rebuild for z3 4.8.17 2022-05-19 13:41:06 -06:00
.gitignore Update to 2.7.4 2022-03-25 21:31:10 +01:00
cppcheck-1.88-htmlreport-python3.patch Switch to python3. 2019-08-14 11:04:52 +02:00
cppcheck-2.2-translations.patch Update to 2.2 2020-10-04 18:57:40 +02:00
cppcheck.spec Rebuild for z3 4.8.17 2022-05-19 13:41:06 -06:00
sources Update to 2.7.4 2022-03-25 21:31:10 +01:00