diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml index 9526ad0786..3553279501 100644 --- a/programming/library/z3/pspec.xml +++ b/programming/library/z3/pspec.xml @@ -70,7 +70,7 @@ 2023-01-28 4.12.1 - Version bump. + Version bump fury uglyside@yandex.ru