Sat, 06 Jul 2024 22:01:03 UTC | login

Information for build ppl-1.2-16.fc33

ID161839
Package Nameppl
Version1.2
Release16.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ppl.git#ad0895bd017b352428c9c601a68de5ab9e433d62
SummaryThe Parma Polyhedra Library: a library of numerical abstractions
DescriptionThe 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.
Built bydavidlt
State failed
Volume DEFAULT
StartedTue, 09 Jun 2020 14:23:36 UTC
CompletedTue, 09 Jun 2020 17:52:56 UTC
Taskbuild (f33, /rpms/ppl.git:ad0895bd017b352428c9c601a68de5ab9e433d62)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ppl.git#ad0895bd017b352428c9c601a68de5ab9e433d62'}}
Tags No tags
RPMs No RPMs
Changelog * 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