Information for build ppl-1.2-11.fc31
| ID | 124245 | |||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ppl | |||||||||||||||||||||||||||||||||
| Version | 1.2 | |||||||||||||||||||||||||||||||||
| Release | 11.fc31 | |||||||||||||||||||||||||||||||||
| Epoch | ||||||||||||||||||||||||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/ppl.git#62fec3cfb66512b3d7065adb3d2f76d57bac7594 | |||||||||||||||||||||||||||||||||
| Summary | The Parma Polyhedra Library: a library of numerical abstractions | |||||||||||||||||||||||||||||||||
| Description | 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. | |||||||||||||||||||||||||||||||||
| Built by | davidlt | |||||||||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||||||||
| Started | Thu, 15 Aug 2019 08:52:47 UTC | |||||||||||||||||||||||||||||||||
| Completed | Thu, 15 Aug 2019 13:16:31 UTC | |||||||||||||||||||||||||||||||||
| Task | build (f31-candidate, /rpms/ppl.git:62fec3cfb66512b3d7065adb3d2f76d57bac7594) | |||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ppl.git#62fec3cfb66512b3d7065adb3d2f76d57bac7594'}} | |||||||||||||||||||||||||||||||||
| Tags |
|
|||||||||||||||||||||||||||||||||
| RPMs |
|
|||||||||||||||||||||||||||||||||
| Logs |
|
|||||||||||||||||||||||||||||||||
| Changelog | * 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 |
