diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml index 0b8130b6db..31f0a9bab8 100644 --- a/programming/library/z3/pspec.xml +++ b/programming/library/z3/pspec.xml @@ -13,8 +13,8 @@ programming.library The Z3 Theorem Prover. Z3 is a theorem prover from Microsoft Research. - - https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.11.tar.gz + + https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.12.tar.gz cmake @@ -64,6 +64,13 @@ + + 2021-10-11 + 4.8.12 + Version bump. + fury + uglyside@yandex.ru + 2021-07-05 4.8.11 diff --git a/programming/tool/cppcheck/pspec.xml b/programming/tool/cppcheck/pspec.xml index b3a53beb87..afacd821ed 100644 --- a/programming/tool/cppcheck/pspec.xml +++ b/programming/tool/cppcheck/pspec.xml @@ -3,7 +3,7 @@ cppcheck - http://cppcheck.sourceforge.net/ + https://cppcheck.sourceforge.io/ fury uglyside@yandex.ru @@ -16,8 +16,8 @@ Cppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. The goal is to detect only real errors in the code (i.e. have very few false positives). - - mirrors://sourceforge/cppcheck/cppcheck-2.5.tar.bz2 + + mirrors://sourceforge/cppcheck/cppcheck-2.6.tar.bz2 cmake @@ -68,6 +68,13 @@ + + 2021-10-11 + 2.6 + Ver. bump + fury + uglyside@yandex.ru + 2021-07-05 2.5