Browse Source

upgrading package: minisat 2.2.0.20200119 -> 2.2.0.20200313

master
parent
commit
b9bf6f31cf
  1. 4
      minisat/minisat.spec

4
minisat/minisat.spec

@ -23,7 +23,7 @@
# package version
%define V_base 2.2.0
%define V_snap 20200119
%define V_snap 20200313
# package information
Name: minisat
@ -36,7 +36,7 @@ Class: EVAL
Group: Algorithm
License: MIT
Version: %{V_base}.%{V_snap}
Release: 20200119
Release: 20200313
# list of sources
Source0: http://download.openpkg.org/components/versioned/minisat/minisat-%{V_snap}.tar.xz

Loading…
Cancel
Save