[PPL-devel] [GIT] ppl/ppl(master): Mark package ppl-yap as obsoleting ppl-yap-static.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Apr 18 15:12:21 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 7c6f088f403eb8630960ab019f07d7c7bb205014
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6f088f403eb8630960ab019f07d7c7bb205014
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Apr 18 15:11:52 2009 +0200
Mark package ppl-yap as obsoleting ppl-yap-static.
---
fedora/ppl.spec | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/fedora/ppl.spec b/fedora/ppl.spec
index 1f6b48a..351a883 100644
--- a/fedora/ppl.spec
+++ b/fedora/ppl.spec
@@ -106,6 +106,7 @@ Summary: The YAP Prolog interface of the Parma Polyhedra Library
Group: Development/Libraries
BuildRequires: yap-devel >= 5.1.1
Requires: %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, yap >= 5.1.1
+Obsoletes: ppl-yap-static
%description yap
This package adds YAP Prolog support to the Parma Polyhedra Library (PPL).
Install this package if you want to use the library in YAP Prolog programs.
More information about the PPL-devel
mailing list