From 97433f179b6ca8fe0898b25c5c3c618f2510a616 Mon Sep 17 00:00:00 2001 From: 4fury-c3440d8 Date: Sun, 10 Oct 2021 21:01:07 +0300 Subject: [PATCH] z3, cppcheck. --- programming/library/z3/pspec.xml | 11 +++++++++-- programming/tool/cppcheck/pspec.xml | 13 ++++++++++--- 2 files changed, 19 insertions(+), 5 deletions(-) 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