ppl-1.2-24.el8 RPM for s390x

From EPEL 8 for s390x / Packages / p

The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions.  The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing.  The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software.  This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.

Provides

• ppl
• libppl.so.14()(64bit)
• libppl_c.so.4()(64bit)
• ppl(s390-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2)(64bit)
• libppl.so.14()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.8)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1
• rtld(GNU_HASH)

License

GPLv3+

Changelog

* Mon Jul 25 2022 Jerry James <[email protected]> - 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 <[email protected]> - 1.2-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Feb 05 2022 Jiri Vanek <[email protected]> - 1.2-23
  - Rebuilt for java-17-openjdk as system jdk
* Fri Jan 21 2022 Fedora Release Engineering <[email protected]> - 1.2-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Oct 02 2021 Jerry James <[email protected]> - 1.2-21
  - Rebuild for pl 8.4.0
* Fri Jul 23 2021 Fedora Release Engineering <[email protected]> - 1.2-20
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jan 27 2021 Fedora Release Engineering <[email protected]> - 1.2-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <[email protected]> - 1.2-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Jul 11 2020 Jiri Vanek <[email protected]> - 1.2-17
  - Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
* Thu May 28 2020 Jerry James <[email protected]> - 1.2-16
  - Rebuild for pl 8.2.0
  - Add -pl82 patch
* Tue May 26 2020 Jeff Law <[email protected]> - 1.2-15
  - Fix configure test compromised by LTO.  autoreconf after
    before configuring.  Depend on automake and libtool.
* Mon May 04 2020 Jerry James <[email protected]> - 1.2-14
  - Use "javac -h" instead of javah with JDK 10 and later
* Thu Apr 16 2020 Jerry James <[email protected]> - 1.2-13
  - Remove the swiprolog-static subpackage since pl-static no longer exists
* Thu Jan 30 2020 Fedora Release Engineering <[email protected]> - 1.2-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Jul 26 2019 Fedora Release Engineering <[email protected]> - 1.2-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Mar 25 2019 Jerry James <[email protected]> - 1.2-10
  - Rebuild for pl 8.0.2
* Sat Feb 02 2019 Fedora Release Engineering <[email protected]> - 1.2-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering <[email protected]> - 1.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Sat Jun 02 2018 Jerry James <[email protected]> - 1.2-7
  - Rebuild against glpk 4.65
  - Update URLs
  - Use ldconfig macro
* Fri Feb 09 2018 Fedora Release Engineering <[email protected]> - 1.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Nov 08 2017 pcpa <[email protected]> - 1.2-5
  - Rebuild against pl-7.6.0
* Thu Aug 03 2017 Fedora Release Engineering <[email protected]> - 1.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <[email protected]> - 1.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Mar 07 2017 Petr Pisar <[email protected]> - 1.2-2
  - Rebuild against pl-7.4.1
* Fri Mar 03 2017 Jerry James <[email protected]> - 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 <[email protected]> - 1.1-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Fri Mar 18 2016 pcpa <[email protected]> - 1.1-14
  - Correct FTBFS in rawhide (#1307874)
* Thu Feb 04 2016 Fedora Release Engineering <[email protected]> - 1.1-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Aug 27 2015 Petr Pisar <[email protected]> - 1.1-12
  - Rebuild against pl-7.2.3
  - Declare build-time dependencies for running utils
* Tue Jun 30 2015 pcpa <[email protected]> - 1.1-11
  - Rebuild with newer pl
  - Remove jpackage-utils dependency
* Thu Jun 18 2015 Fedora Release Engineering <[email protected]> - 1.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sun Jun 14 2015 pcpa <[email protected]> - 1.1-9
  - Rebuild with newer pl
* Sat May 02 2015 Kalev Lember <[email protected]> - 1.1-8
  - Rebuilt for GCC 5 C++11 ABI change
* Sun Feb 08 2015 pcpa <[email protected]> - 1.1-7
  - Correct build with gcc 5.0.
* Sun Aug 17 2014 Fedora Release Engineering <[email protected]> - 1.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sun Jun 22 2014 Peter Robinson <[email protected]> 1.1-5
  - fix FTBFS on aarch64
* Sat Jun 07 2014 Fedora Release Engineering <[email protected]> - 1.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Mon Jun 02 2014 Brent Baude <[email protected]> - 1.1-3
  - Fixing include detection for ppc64 and ppc64le
* Thu May 22 2014 Brent Baude <[email protected]> - 1.1-2
  - Replace ppc64 arch with power64 macro
* Tue Apr 29 2014 pcpa <[email protected]> - 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 <[email protected]> - 1.0-5.10
  - Use Requires: java-headless rebuild (#1067528)
* Thu Mar 13 2014 pcpa <[email protected]> - 1.0-4.10
  - Rebuild with newer pl
* Fri Dec 27 2013 pcpa <[email protected]> - 1.0-4.9
  - Rebuild with newer pl
* Fri Dec 06 2013 pcpa <[email protected]> - 1.0-4.8
  - Rebuild with newer pl
* Thu Sep 05 2013 pcpa <[email protected]> - 1.0-4.7
  - Rebuild with newer pl
* Tue Aug 06 2013 pcpa <[email protected]> - 1.0-4.6
  - Rebuild with newer glpk
  - Adapt to unversioned docdir (#994050)
* Sun Aug 04 2013 Fedora Release Engineering <[email protected]> - 1.0-4.5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Thu Feb 07 2013 pcpa <[email protected]> - 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 <[email protected]> - 1.0-3.4
  - Correct problem with gmp 5.1.0 or newer (#905420)
* Wed Dec 26 2012 Kevin Fenzi <[email protected]> 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 <[email protected]> - 1.0-3.1
  - bring ugly hack back long enough to rebuild mingw
* Mon Dec 03 2012 Tom Callaway <[email protected]> - 1.0-3
  - undo ugly hack
* Mon Dec 03 2012 Tom Callaway <[email protected]> - 1.0-2
  - ignore this ugly hack, it is going away asap
* Fri Nov 30 2012 Tom Callaway <[email protected]> - 1.0-1
  - update to 1.0
  - spec cleanup
* Fri Jul 27 2012 Fedora Release Engineering <[email protected]> - 0.11.2-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Tue Mar 06 2012 Peter Robinson <[email protected]> - 0.11.2-9
  - Explicitly include supported gprolog arches
* Tue Feb 28 2012 Fedora Release Engineering <[email protected]> - 0.11.2-8
  - Rebuilt for c++ ABI breakage
* Thu Feb 23 2012 Karsten Hopp <[email protected]> 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 <[email protected]> - 0.11.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Wed Nov 23 2011 Ville Skyttä <[email protected]> - 0.11.2-5
  - Own doc dir in -pwl.
* Tue Nov 01 2011 Kevin Fenzi <[email protected]> - 0.11.2-4
  - Rebuild for new gmp
* Wed Oct 26 2011 Fedora Release Engineering <[email protected]> - 0.11.2-3.2
  - Rebuilt for glibc bug#747377
* Wed Oct 26 2011 Marcela Mašláňová <[email protected]> - 0.11.2-2.2
  - rebuild with new gmp without compat lib
* Wed Oct 12 2011 Peter Schiffer <[email protected]> - 0.11.2-2.1
  - rebuild with new gmp
* Tue May 31 2011 Peter Robinson <[email protected]> - 0.11.2-2
  - Merge 15 Branch to master as its newer
  - Add ARM to platform excludes
* Mon Feb 28 2011 Roberto Bagnara <[email protected]> - 0.11.2-1
  - Updated for PPL 0.11.2.
* Wed Feb 09 2011 Fedora Release Engineering <[email protected]> - 0.10.2-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Fri Sep 11 2009 Caolán McNamara <[email protected]> - 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 <[email protected]> - 0.10.2-9
  - Force rebuild.
* Fri Aug 14 2009 Roberto Bagnara <[email protected]> - 0.10.2-8
  - Force rebuild.
* Fri Aug 14 2009 Roberto Bagnara <[email protected]> - 0.10.2-7
  - Force rebuild.
* Tue Aug 11 2009 Ville Skyttä <[email protected]> - 0.10.2-6
  - Use bzipped upstream tarball.
* Sun Jul 26 2009 Fedora Release Engineering <[email protected]> - 0.10.2-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Sun Jul 12 2009 Roberto Bagnara <[email protected]> 0.10.2-4
  - Force rebuild.
* Fri Jun 19 2009 Roberto Bagnara <[email protected]> 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 <[email protected]> 0.10.2-2
  - Force rebuild.
* Sat Apr 18 2009 Roberto Bagnara <[email protected]> 0.10.2-1
  - Updated for PPL 0.10.2.
* Tue Apr 14 2009 Roberto Bagnara <[email protected]> 0.10.1-1
  - Updated for PPL 0.10.1.
* Sun Mar 29 2009 Roberto Bagnara <[email protected]> 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 <[email protected]> 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 <[email protected]> - 0.10-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
* Wed Feb 18 2009 Roberto Bagnara <[email protected]> 0.10-8
  - Install the documentation according to the Fedora packaging conventions.
* Tue Feb 17 2009 Karsten Hopp <[email protected]> 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 <[email protected]> 0.10-6
  - Better workaround for the bug affecting PPL 0.10 on big-endian
    architectures.
* Tue Feb 03 2009 Roberto Bagnara <[email protected]> 0.10-5
  - Work around the bug affecting PPL 0.10 on big-endian architectures.
* Fri Dec 05 2008 Roberto Bagnara <[email protected]> 0.10-4
  - Added `%dir %{_datadir}/doc/pwl' to the `%files' section
    of the `ppl-pwl' package.
* Tue Nov 04 2008 Roberto Bagnara <[email protected]> 0.10-3
  - Fixed the requirements of the `ppl-java' package.
* Tue Nov 04 2008 Roberto Bagnara <[email protected]> 0.10-2
  - Added m4 >= 1.4.8 to build requirements.
* Tue Nov 04 2008 Roberto Bagnara <[email protected]> 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 <[email protected]> 0.9-25
  - The `swiprolog' package now requires pl >= 5.6.57-2.
* Mon Sep 08 2008 Roberto Bagnara <[email protected]> 0.9-24
  - Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
    the `-v' option.
* Mon Sep 08 2008 Roberto Bagnara <[email protected]> 0.9-23
  - Fixed ppl-0.9-swiprolog.patch.
* Mon Sep 08 2008 Roberto Bagnara <[email protected]> 0.9-22
  - Implemented a workaround to cope with the new location of SWI-Prolog.h.
* Mon Sep 08 2008 Roberto Bagnara <[email protected]> 0.9-21
  - Fixed the SWI-Prolog interface dependencies.
* Mon May 19 2008 Roberto Bagnara <[email protected]> 0.9-20
  - Added Requires /sbin/ldconfig.
* Wed Feb 13 2008 Roberto Bagnara <[email protected]> 0.9-19
  - Include a patch to supply a missing inclusions of <cstdlib>.
* Wed Jan 09 2008 Roberto Bagnara <[email protected]> 0.9-18
  - Avoid multiarch conflicts when installed for multiple architectures.
* Sun Dec 23 2007 Roberto Bagnara <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 0.9-13
  - Bug 246815 had been fixed: YAP support enabled again.
* Thu Jul 05 2007 Roberto Bagnara <[email protected]> 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 <[email protected]> 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 <[email protected]> 0.9-10
  - Use `%{buildroot}' consistently, instead of  `$RPM_BUILD_ROOT'.
* Mon Jul 02 2007 Roberto Bagnara <[email protected]> 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 <[email protected]> 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 <[email protected]> 0.9-7
  - `%install' commands revised.
* Thu Jun 07 2007 Roberto Bagnara <[email protected]> 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 <[email protected]> 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 <[email protected]> 0.9-4
  - The user manual (in various formats) is now in the `docs' package.
* Thu Feb 22 2007 Roberto Bagnara <[email protected]> 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 <[email protected]>
  - Added missing dependencies.
* Sun Feb 18 2007 Roberto Bagnara <[email protected]>
  - `%doc' tags corrected for the Prolog interfaces.
  - Tabs used consistently instead of spaces.
* Sat Feb 17 2007 Roberto Bagnara <[email protected]>
  - 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 <[email protected]> 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 <[email protected]>
  - 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 <[email protected]> 0.9-1
  - Install gzipped man pages.
  - The `Copyright' tag is no longer supported: use `License' instead.
* Wed Jan 11 2006 Roberto Bagnara <[email protected]>
  - Include `ppl-config' in `%{_bindir}' and the man pages in
    `%{_mandir}/man1'.
* Tue Jan 10 2006 Roberto Bagnara <[email protected]>
  - Require gcc-c++ to be at least 4.0.2.
  - Distribute also `ppl_lpsol'.
* Tue Mar 01 2005 Roberto Bagnara <[email protected]>
  - Wrong dependency fixed.
* Mon Feb 28 2005 Roberto Bagnara <[email protected]>
  - URL for the source fixed.
* Fri Dec 24 2004 Roberto Bagnara <[email protected]>
  - Sentence fixed.
* Thu Dec 23 2004 Roberto Bagnara <[email protected]>
  - 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 <[email protected]>
  - Distribute more documentation.
* Mon Aug 16 2004 Roberto Bagnara <[email protected]>
  - 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 <[email protected]>
  - Build an RPM package also for the PWL.
  - The Prolog interfaces depend on the PWL.
* Tue Mar 04 2003 Roberto Bagnara <[email protected]>
  - We require gmp at least 4.1.2.
* Fri Oct 04 2002 Roberto Bagnara <[email protected]>
  - Require gcc-c++ 3.2 or later version.
  - Require gmp 4.1 or later version.
* Sun Jun 30 2002 Roberto Bagnara <[email protected]>
  - Mention not necessarily closed convex polyhedra in the main `%description'.
* Tue Jun 25 2002 Roberto Bagnara <[email protected]>
  - `%files' section for gprolog package fixed.
* Mon Jun 24 2002 Roberto Bagnara <[email protected]>
  - `%files' section fixed for the yap package.
  - The `%files' sections of each package are now complete.
* Wed Jun 12 2002 Roberto Bagnara <[email protected]>
  - Added file list for package gprolog.
  - Updated file list for package swi.
* Thu Jun 06 2002 Roberto Bagnara <[email protected]>
  - The `swi' package has now its `%files' section.
* Wed Jun 05 2002 Roberto Bagnara <[email protected]>
  - We will build several RPM packages out of our source tree.
* Mon Mar 04 2002 Roberto Bagnara <[email protected]>
  - Require gcc-c++ 3.0.4 or later version.
  - Require gmp 4.0.1 or later version.
* Sun Jan 27 2002 Roberto Bagnara <[email protected]>
  - 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 <[email protected]>
  - 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 <[email protected]>
  - Now we build a relocatable package.
* Mon Oct 15 2001 Roberto Bagnara <[email protected]>
  - A first cut at a working RPM spec file.

Files

/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/6b19537d3dc84439f8791d7632e22ea4a78108
/usr/lib/.build-id/37
/usr/lib/.build-id/37/8cb9f2c7c0277b4077650deba36c535a2fc87f
/usr/lib/.build-id/47
/usr/lib/.build-id/47/3d925ec3483ff609674770ae005ebd2543c1c9
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Dec 11 04:55:28 2024