Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ppl-static | Distribution: Fedora Project |
Version: 1.2 | Vendor: Fedora Project |
Release: 24.el8 | Build date: Thu Sep 15 23:19:48 2022 |
Group: Unspecified | Build host: buildvm-ppc64le-12.iad2.fedoraproject.org |
Size: 21710128 | Source RPM: ppl-1.2-24.el8.src.rpm |
Packager: Fedora Project | |
Url: http://www.bugseng.com/ppl | |
Summary: Static archives for the Parma Polyhedra Library C and C++ interfaces |
The static archives for the Parma Polyhedra Library C and C++ interfaces.
GPLv3+
* 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.
/usr/lib64/libppl.a /usr/lib64/libppl_c.a
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Dec 11 04:15:54 2024