Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ppl-devel-1.2-24.el8 RPM for x86_64

From EPEL 8 for x86_64 / Packages / p

Name: ppl-devel Distribution: Fedora Project
Version: 1.2 Vendor: Fedora Project
Release: 24.el8 Build date: Thu Sep 15 23:21:33 2022
Group: Unspecified Build host: buildvm-x86-24.iad2.fedoraproject.org
Size: 3957035 Source RPM: ppl-1.2-24.el8.src.rpm
Packager: Fedora Project
Url: http://www.bugseng.com/ppl
Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces
The header files, Autoconf macro and minimal documentation for
developing applications using the Parma Polyhedra Library through
its C and C++ interfaces.

Provides

Requires

License

GPLv3+

Changelog

* Mon Jul 25 2022 Jerry James <loganjerry@gmail.com> - 1.2-24
  - Do not build the Java interface on i686 (rhbz#2104091)
  - Build the gprolog interface on aarch64
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 1.2-23
  - Rebuilt for java-17-openjdk as system jdk
* Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Oct 02 2021 Jerry James <loganjerry@gmail.com> - 1.2-21
  - Rebuild for pl 8.4.0
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-20
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 1.2-17
  - Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
* Thu May 28 2020 Jerry James <loganjerry@gmail.com> - 1.2-16
  - Rebuild for pl 8.2.0
  - Add -pl82 patch
* Tue May 26 2020 Jeff Law <law@redhat.com> - 1.2-15
  - Fix configure test compromised by LTO.  autoreconf after
    before configuring.  Depend on automake and libtool.
* Mon May 04 2020 Jerry James <loganjerry@gmail.com> - 1.2-14
  - Use "javac -h" instead of javah with JDK 10 and later
* Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 1.2-13
  - Remove the swiprolog-static subpackage since pl-static no longer exists
* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* 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
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Sat Jun 02 2018 Jerry James <loganjerry@gmail.com> - 1.2-7
  - Rebuild against glpk 4.65
  - Update URLs
  - Use ldconfig macro
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Nov 08 2017 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.2-5
  - Rebuild against pl-7.6.0
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Mar 07 2017 Petr Pisar <ppisar@redhat.com> - 1.2-2
  - Rebuild against pl-7.4.1
* Fri Mar 03 2017 Jerry James <loganjerry@gmail.com> - 1.2-1
  - Update to latest upstream release (bz 1403093)
  - Drop all patches; all have been upstreamed
  - Drop ancient obsoletes
  - Drop the yap interface since yap has been retired
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Fri Mar 18 2016 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-14
  - Correct FTBFS in rawhide (#1307874)
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Aug 27 2015 Petr Pisar <ppisar@redhat.com> - 1.1-12
  - Rebuild against pl-7.2.3
  - Declare build-time dependencies for running utils
* Tue Jun 30 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-11
  - Rebuild with newer pl
  - Remove jpackage-utils dependency
* Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sun Jun 14 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-9
  - Rebuild with newer pl
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 1.1-8
  - Rebuilt for GCC 5 C++11 ABI change
* Sun Feb 08 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-7
  - Correct build with gcc 5.0.
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sun Jun 22 2014 Peter Robinson <pbrobinson@fedoraproject.org> 1.1-5
  - fix FTBFS on aarch64
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Mon Jun 02 2014 Brent Baude <baude@us.ibm.com> - 1.1-3
  - Fixing include detection for ppc64 and ppc64le
* Thu May 22 2014 Brent Baude <baude@us.ibm.com> - 1.1-2
  - Replace ppc64 arch with power64 macro
* Tue Apr 29 2014 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-1
  - Update to latest upstream release
  - Remove patches added upstream
  - Add new cstddef patch to build recent gcc
  - Correct bogus dates in chagelog
  - Remove hack with explicit provides of (wrong) library major
* Fri Mar 28 2014 Michael Simacek <msimacek@redhat.com> - 1.0-5.10
  - Use Requires: java-headless rebuild (#1067528)
* Thu Mar 13 2014 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.10
  - Rebuild with newer pl
* Fri Dec 27 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.9
  - Rebuild with newer pl
* Fri Dec 06 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.8
  - Rebuild with newer pl
* Thu Sep 05 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.7
  - Rebuild with newer pl
* Tue Aug 06 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.6
  - Rebuild with newer glpk
  - Adapt to unversioned docdir (#994050)
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0-4.5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Thu Feb 07 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-3.5
  - The gmp patch itself is conditional, no need to conditionally apply
  - Correct jpackage-utils requires as it is noarch
  - Correct java requires as the virtual provides in noarch
  - Rebuild for newer swiprolog and glpk (#907477, #905420)
* Wed Jan 30 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-3.4
  - Correct problem with gmp 5.1.0 or newer (#905420)
* Wed Dec 26 2012 Kevin Fenzi <kevin@scrye.com> 1.0-3.3
  - Rebuild for new libswipl
* Wed Dec 05 2012 Dan Horák <dan[at]danny.cz> - 1.0-3.2
  - fix the hack for all 64-bit platforms
* Tue Dec 04 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-3.1
  - bring ugly hack back long enough to rebuild mingw
* Mon Dec 03 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-3
  - undo ugly hack
* Mon Dec 03 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-2
  - ignore this ugly hack, it is going away asap
* Fri Nov 30 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-1
  - update to 1.0
  - spec cleanup
* Fri Jul 27 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Tue Mar 06 2012 Peter Robinson <pbrobinson@fedoraproject.org> - 0.11.2-9
  - Explicitly include supported gprolog arches
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-8
  - Rebuilt for c++ ABI breakage
* Thu Feb 23 2012 Karsten Hopp <karsten@redhat.com> 0.11.2-7
  - don't require yap on ppc and ppc64, it is broken there: bz 790625
* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Wed Nov 23 2011 Ville Skyttä <ville.skytta@iki.fi> - 0.11.2-5
  - Own doc dir in -pwl.
* Tue Nov 01 2011 Kevin Fenzi <kevin@scrye.com> - 0.11.2-4
  - Rebuild for new gmp
* Wed Oct 26 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-3.2
  - Rebuilt for glibc bug#747377
* Wed Oct 26 2011 Marcela Mašláňová <mmaslano@redhat.com> - 0.11.2-2.2
  - rebuild with new gmp without compat lib
* Wed Oct 12 2011 Peter Schiffer <pschiffe@redhat.com> - 0.11.2-2.1
  - rebuild with new gmp
* Tue May 31 2011 Peter Robinson <pbrobinson@gmail.com> - 0.11.2-2
  - Merge 15 Branch to master as its newer
  - Add ARM to platform excludes
* Mon Feb 28 2011 Roberto Bagnara <bagnara@cs.unipr.it> - 0.11.2-1
  - Updated for PPL 0.11.2.
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10.2-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Fri Sep 11 2009 Caolán McNamara <caolanm@redhat.com> - 0.10.2-10
  - Resolves: rhbz#521588 stick pl include before Yap include to stop 
    configure-time misdetection to resolve FTBFS
* Wed Aug 19 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-9
  - Force rebuild.
* Fri Aug 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-8
  - Force rebuild.
* Fri Aug 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-7
  - Force rebuild.
* Tue Aug 11 2009 Ville Skyttä <ville.skytta@iki.fi> - 0.10.2-6
  - Use bzipped upstream tarball.
* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10.2-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Sun Jul 12 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-4
  - Force rebuild.
* Fri Jun 19 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-3
  - The `gprolog' and `yap' packages are not available on the sparc64 and
    sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
    `ppl-yap'.
* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-2
  - Force rebuild.
* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-1
  - Updated for PPL 0.10.2.
* Tue Apr 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.1-1
  - Updated for PPL 0.10.1.
* Sun Mar 29 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-11
  - Moved changelogs and PostScript and PDF versions of the GPL to the
    `docs' subpackages. This saves considerable space on the live media.
* Tue Mar 24 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-10
  - There are no GNU Prolog packages available on ia64: disable the GNU Prolog
    interface also on those platforms (besides ppc64, s390 and s390x).
* Thu Feb 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
* Wed Feb 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-8
  - Install the documentation according to the Fedora packaging conventions.
* Tue Feb 17 2009 Karsten Hopp <karsten@redhat.comt> 0.10-7
  - There are no GNU Prolog packages available on s390 and s390x: disable
    the GNU Prolog interface also on those platforms (besides ppc64).
* Wed Feb 04 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-6
  - Better workaround for the bug affecting PPL 0.10 on big-endian
    architectures.
* Tue Feb 03 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-5
  - Work around the bug affecting PPL 0.10 on big-endian architectures.
* Fri Dec 05 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-4
  - Added `%dir %{_datadir}/doc/pwl' to the `%files' section
    of the `ppl-pwl' package.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
  - Fixed the requirements of the `ppl-java' package.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
  - Added m4 >= 1.4.8 to build requirements.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-1
  - Updated and extended for PPL 0.10.  In particular, the `ppl-config'
    program, being useful also for non-development activities, has been
    brought back to the main package.
* Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
  - The `swiprolog' package now requires pl >= 5.6.57-2.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
  - Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
    the `-v' option.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
  - Fixed ppl-0.9-swiprolog.patch.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
  - Implemented a workaround to cope with the new location of SWI-Prolog.h.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
  - Fixed the SWI-Prolog interface dependencies.
* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
  - Added Requires /sbin/ldconfig.
* Wed Feb 13 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-19
  - Include a patch to supply a missing inclusions of <cstdlib>.
* Wed Jan 09 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-18
  - Avoid multiarch conflicts when installed for multiple architectures.
* Sun Dec 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-17
  - The SWI-Prolog `pl' package is temporarily not available on the ppc64
    architecture: temporarily disabled `ppl-swiprolog' and
    `ppl-swiprolog-static' on that architecture.
* Sat Sep 29 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-16
  - The value of the `License' tag is now `GPLv2+'.
  - `ppl-swiprolog' dependency on `readline-devel' removed (again).
* Mon Sep 24 2007 Jesse Keating <jkeating@redhat.com> 0.9-15
  - Rebuild for new libgmpxx.
* Tue Aug 28 2007 Fedora Release Engineering <rel-eng at fedoraproject dot org> 0.9-14
  - Rebuild for selinux ppc32 issue.
* Fri Jul 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-13
  - Bug 246815 had been fixed: YAP support enabled again.
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-12
  - Disable YAP support until bug 246815 is fixed.
  - Bug 243084 has been fixed: `ppl-swiprolog' dependency on `readline-devel'
    removed.
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-11
  - The `gprolog' package is not available on the ppc64 architecture:
    so do `ppl-gprolog' and `ppl-gprolog-static'.
* Tue Jul 03 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-10
  - Use `%{buildroot}' consistently, instead of  `$RPM_BUILD_ROOT'.
* Mon Jul 02 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-9
  - Patch NEWS, TODO and doc/definitions.dox so as to use the
    UTF-8 encoding instead of ISO-8859.
* Tue Jun 12 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-8
  - Patch the `libtool' script after `%configure' so as to fix
    the rpath issue.
  - Revised the description of the `devel' package.
  - Include also the `TODO' file in the documentation of the main package.
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-7
  - `%install' commands revised.
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-6
  - All the static archives are now in `*-static' packages.
  - Packages `ppl-gprolog-devel', `ppl-swiprolog-devel' and `ppl-yap-devel'
    renamed `ppl-gprolog', `ppl-swiprolog' and `ppl-yap',
    respectively.
  - As a workaround for a bug in the `pl' package (Bugzilla Bug 243084),
    `ppl-swiprolog' is now dependent on `readline-devel'.
  - Added `%dir %{_datadir}/doc/%{name}'.
  - The `ppl-user-0.9-html' documentation directory is now properly listed.
  - Remove installed *.la files.
  - Added a `ppl-0.9-configure.patch' to avoid overriding CFLAGS and CXXFLAGS.
* Wed Jun 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-5
  - Use `%{_includedir}' and `%{_libdir}' instead of `/usr/include'
    and `/usr/lib', respectively.
  - Use `%{_datadir}/doc/%{name}' instead of `/usr/share/doc/ppl'.
  - Replaced `%defattr(-,root,root)' with `%defattr(-,root,root,-)'.
* Fri Feb 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-4
  - The user manual (in various formats) is now in the `docs' package.
* Thu Feb 22 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-3
  - Dependencies for YAP fixed.
  - Make sure the header files of GNU Prolog and YAP are found.
* Wed Feb 21 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added missing dependencies.
* Sun Feb 18 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%doc' tags corrected for the Prolog interfaces.
  - Tabs used consistently instead of spaces.
* Sat Feb 17 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Make `swiprolog-devel' depend on `pl' (at leat 5.6); documentation added.
  - The `yap' package has been renamed `yap-devel' and completed.
  - The `gprolog' package has been renamed `gprolog-devel' and completed.
  - The `ppl_lcdd' and `ppl_lpsol' programs are now in a new `utils' package.
  - The `ppl-config' program is now in the `devel' package.
  - Modified the configuration command so that the `glpk-devel' include files
    are found.
* Sun Feb 11 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-2
  - The `%_libdir/ppl' is no longer orphaned.
  - Use `make %{?_smp_mflags}' for building.
  - The `swi' package has been renamed `swiprolog-devel'.
* Sat Feb 10 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added the `%changelog' section.
  - `Release' set to 2.
  - `Packager' and `Vendor' tags removed.
  - `Summary' fields are no longer ended with a dot.
  - The value of the `License' tag is now `GPL'.
  - Removed unused definition of `builddir'.
  - The `Name', `Version' and `Release' tags are now directly defined.
  - Commented out the efinitions of the `Require' and `Prefix' tags.
  - Set the `BuildRequires' tag to `gmp-devel'.
  - Exploit the features of `%setup', `%configure', `%install',
    `%post' and `%postun'.
  - Mixed use of spaces and tabs avoided.
  - Do configure with the --disable-rpath option so as to avoid
    hardcoding the path to search libraries.
  - Do not include libtool archive files.
  - Packages reorganized.
* Mon Jan 16 2006 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-1
  - Install gzipped man pages.
  - The `Copyright' tag is no longer supported: use `License' instead.
* Wed Jan 11 2006 Roberto Bagnara <bagnara@cs.unipr.it>
  - Include `ppl-config' in `%{_bindir}' and the man pages in
    `%{_mandir}/man1'.
* Tue Jan 10 2006 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ to be at least 4.0.2.
  - Distribute also `ppl_lpsol'.
* Tue Mar 01 2005 Roberto Bagnara <bagnara@cs.unipr.it>
  - Wrong dependency fixed.
* Mon Feb 28 2005 Roberto Bagnara <bagnara@cs.unipr.it>
  - URL for the source fixed.
* Fri Dec 24 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Sentence fixed.
* Thu Dec 23 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - The file doc/README has been renamed README.doc so as not to conflict
    with the library's main README file.
  - Require gcc-c++ to be exactly version 3.4.1.
  - `Summary' updated to reflect the fact that the library now provides
    numerical abstractions other than convex polyhedra.
* Wed Aug 18 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Distribute more documentation.
* Mon Aug 16 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added the `ppl_lcdd' program to the main package.
  - Require gcc-c++ to be exactly version 3.4.1.
  - We require gmp at least 4.1.3.
* Wed Jul 30 2003 Roberto Bagnara <bagnara@cs.unipr.it>
  - Build an RPM package also for the PWL.
  - The Prolog interfaces depend on the PWL.
* Tue Mar 04 2003 Roberto Bagnara <bagnara@cs.unipr.it>
  - We require gmp at least 4.1.2.
* Fri Oct 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ 3.2 or later version.
  - Require gmp 4.1 or later version.
* Sun Jun 30 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Mention not necessarily closed convex polyhedra in the main `%description'.
* Tue Jun 25 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%files' section for gprolog package fixed.
* Mon Jun 24 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%files' section fixed for the yap package.
  - The `%files' sections of each package are now complete.
* Wed Jun 12 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added file list for package gprolog.
  - Updated file list for package swi.
* Thu Jun 06 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - The `swi' package has now its `%files' section.
* Wed Jun 05 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - We will build several RPM packages out of our source tree.
* Mon Mar 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ 3.0.4 or later version.
  - Require gmp 4.0.1 or later version.
* Sun Jan 27 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - The move to libtool is complete: we can now build and distribute
    (with, e.g., RPM) static and dynamic versions of the library.
* Tue Oct 16 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - Changed `Summary'.
  - Changed `Packager' in view of PGP signatures.
  - Changed `Group' to `Development/Libraries'.
  - Require gcc-c++ 2.96-85 or later version.
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - Now we build a relocatable package.
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - A first cut at a working RPM spec file.

Files

/usr/include/ppl-x86_64.hh
/usr/include/ppl.hh
/usr/include/ppl_c-x86_64.h
/usr/include/ppl_c.h
/usr/lib64/libppl.so
/usr/lib64/libppl_c.so
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Dec 21 08:55:26 2024