Package ppl: Information
Default inline alert: Version in the repository: 1.2-alt2_22
Source package: ppl
Version: 1.2-alt2_20
Build time: Aug 28, 2021, 05:57 PM in the task #284081
Category: Development/C
Report package bugHome page: http://www.bugseng.com/ppl
License: GPLv3+
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.
List of rpms provided by this srpm:
ppl (x86_64, ppc64le, i586, armh, aarch64)
ppl-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-devel (x86_64, ppc64le, i586, armh, aarch64)
ppl-docs (noarch)
ppl-java (x86_64, ppc64le, i586, armh, aarch64)
ppl-java-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-java-javadoc (noarch)
ppl-static (x86_64, ppc64le, i586, armh, aarch64)
ppl-swiprolog (x86_64, ppc64le, i586, armh, aarch64)
ppl-swiprolog-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-utils (x86_64, ppc64le, i586, armh, aarch64)
ppl-utils-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl (x86_64, ppc64le, i586, armh, aarch64)
ppl-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-devel (x86_64, ppc64le, i586, armh, aarch64)
ppl-docs (noarch)
ppl-java (x86_64, ppc64le, i586, armh, aarch64)
ppl-java-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-java-javadoc (noarch)
ppl-static (x86_64, ppc64le, i586, armh, aarch64)
ppl-swiprolog (x86_64, ppc64le, i586, armh, aarch64)
ppl-swiprolog-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
ppl-utils (x86_64, ppc64le, i586, armh, aarch64)
ppl-utils-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Maintainer: Igor Vlasenko
Last changed
Aug. 28, 2021 Igor Vlasenko 1.2-alt2_20
- fixed build with LTO
Aug. 2, 2021 Igor Vlasenko 1.2-alt1_20
- new version