From 14dd975cf63f07571d7988c18d87f1276a81f51e Mon Sep 17 00:00:00 2001 From: 4fury-c3440d8 Date: Mon, 5 Jul 2021 20:45:16 +0300 Subject: [PATCH] cppcheck-2.5. --- programming/library/z3/pspec.xml | 11 +++++++++-- programming/tool/cppcheck/pspec.xml | 11 +++++++++-- 2 files changed, 18 insertions(+), 4 deletions(-) diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml index 811dd6cf30..71e900ffcf 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/z3-4.8.10.tar.gz + + https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.11.tar.gz cmake @@ -64,6 +64,13 @@ + + 2021-07-05 + 4.8.11 + Version bump. + fury + wascheme@tuta.io + 2021-03-24 4.8.10 diff --git a/programming/tool/cppcheck/pspec.xml b/programming/tool/cppcheck/pspec.xml index 56426b9d36..76f8d68aa2 100644 --- a/programming/tool/cppcheck/pspec.xml +++ b/programming/tool/cppcheck/pspec.xml @@ -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.4.tar.bz2 + + mirrors://sourceforge/cppcheck/cppcheck-2.5.tar.bz2 cmake @@ -68,6 +68,13 @@ + + 2021-07-05 + 2.5 + Ver. bump + fury + wascheme@tuta.io + 2021-03-24 2.4