rpms
/
ppl
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rebuild for pl 8.0.2.

This commit is contained in:
Jerry James 2019-03-25 21:21:15 -06:00
parent f10a1640c2
commit 882a5716b4
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
ppl.spec
View File

@ -1,6 +1,6 @@
Name: ppl
Version: 1.2
Release: 9%{?dist}
Release: 10%{?dist}
Summary: The Parma Polyhedra Library: a library of numerical abstractions
License: GPLv3+
URL: http://www.bugseng.com/ppl
@ -263,9 +263,10 @@ mv \
%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.ps.gz
%doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.ps.gz
%ldconfig_scriptlets
%changelog
* Mon Mar 25 2019 Jerry James <loganjerry@gmail.com> - 1.2-10
- Rebuild for pl 8.0.2
* Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild