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