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

upgrading package: z3 4.8.6.20200125 -> 4.8.6.20200305

master
Dr. Ralf S. Engelschall 6 years ago
parent
08c9c94677
commit
b65cf83ce9
1 changed files with 2 additions and 2 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. 4
      z3/z3.spec

4
z3/z3.spec
Unescape View File

@ -23,7 +23,7 @@
# package version # package version
%define V_z3_base 4.8.6 %define V_z3_base 4.8.6
%define V_z3_snap 20200125 %define V_z3_snap 20200305
# 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: 20200125 Release: 20200305
# package options # package options
%option with_python no %option with_python no

Write Preview
Loading…
Cancel
Save