Browse Source

upgrading package: minisat 2.2.0.20200402 -> 2.2.0.20200718

master
parent
commit
17d66446ac
  1. 4
      minisat/minisat.spec

4
minisat/minisat.spec

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

Loading…
Cancel
Save