From 14aa51b9cc6b7fde4e82e264af217a5dbfa2beb0 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Jul 24 2019 16:38:13 +0000 Subject: Bump Epoch to fix upgrades from version 06w. --- diff --git a/cadical.spec b/cadical.spec index 720ac94..0f7fdc0 100644 --- a/cadical.spec +++ b/cadical.spec @@ -1,6 +1,7 @@ Name: cadical +Epoch: 1 Version: 1.0.3 -Release: 2%{?dist} +Release: 1%{?dist} Summary: Simplified SAT solver License: MIT @@ -14,10 +15,7 @@ BuildRequires: gcc-c++ BuildRequires: glibc-langpack-en BuildRequires: help2man BuildRequires: zlib-devel -Requires: %{name}-libs%{?_isa} = %{version}-%{release} - -# This can be removed when Fedora 30 reaches EOL -Obsoletes: cadical = 06w +Requires: %{name}-libs%{?_isa} = %{epoch}:%{version}-%{release} %description CaDiCaL is a simplified Satisfiability solver. The goal of the @@ -34,7 +32,7 @@ library, for use in applications that need a SAT solver. %package devel Summary: Development files for %{name} -Requires: %{name}-libs%{?_isa} = %{version}-%{release} +Requires: %{name}-libs%{?_isa} = %{epoch}:%{version}-%{release} %description devel Library links and header files for developing applications that use @@ -107,6 +105,9 @@ make -C test %{_libdir}/lib%{name}.so %changelog +* Wed Jul 24 2019 Jerry James - 1:1.0.3-1 +- Bump Epoch to fix upgrades from version 06w + * Mon Jul 22 2019 Jerry James - 1.0.3-2 - Add ccadical.h to the -devel subpackage (bz 1731887)