openpkg
/
openpkg-packages
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

upgrading package: z3 4.8.6.20200305 -> 4.8.8.20200509

master
Dr. Ralf S. Engelschall 6 years ago
parent
149a60f784
commit
dc607bcb77
1 changed files with 3 additions and 3 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 6
      z3/z3.spec

6
z3/z3.spec
Unescape View File

@ -22,8 +22,8 @@
## ##
# package version # package version
%define V_z3_base 4.8.6 %define V_z3_base 4.8.8
%define V_z3_snap 20200305 %define V_z3_snap 20200509
# package information # package information
Name: z3 Name: z3
@ -36,7 +36,7 @@ Class: EVAL
Group: Algorithm Group: Algorithm
License: MIT License: MIT
Version: %{V_z3_base}.%{V_z3_snap} Version: %{V_z3_base}.%{V_z3_snap}
Release: 20200305 Release: 20200509
# package options # package options
%option with_python no %option with_python no

Write Preview
Loading…
Cancel
Save