Ubuntu
ppl package

ppl 1:1.2-2build4 source package in Ubuntu

Changelog

ppl (1:1.2-2build4) bionic; urgency=medium

  * No-change rebuild against swi-prolog 7.6.4

 -- Steve Langasek <email address hidden>  Mon, 05 Feb 2018 17:57:24 -0800

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Bionic
Original maintainer:
Debian Science Team
Architectures:
any all
Section:
libs
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe libs

Downloads

File Size SHA-256 Checksum
ppl_1.2.orig.tar.xz 13.5 MiB 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
ppl_1.2-2build4.debian.tar.xz 11.7 KiB 75c5eb597fcbc800d380fc22ba0b0afdb65ef98fec4b82ef6fed7c40c88cfec5
ppl_1.2-2build4.dsc 2.4 KiB 5387a8eb92d27ff9ea059a2e9a2be9553ec082e228a35b197f8f9e5c9df603a0

Available diffs

View changes file

Binary packages built by this source

libppl-c4: Parma Polyhedra Library (C interface)

 The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you
 mean it), fully dynamic (available virtual memory is the only
 limitation to the dimension of anything), written in standard C++,
 exception-safe, rather efficient and thoroughly documented.
 .
 This package provides the C interface.

libppl-c4-dbgsym: debug symbols for libppl-c4
libppl-dev: Parma Polyhedra Library (development)

 The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you
 mean it), fully dynamic (available virtual memory is the only
 limitation to the dimension of anything), written in standard C++,
 exception-safe, rather efficient and thoroughly documented.
 .
 This package provides the header files and static libraries for the
 C and C++ interfaces.

libppl-doc: No summary available for libppl-doc in ubuntu cosmic.

No description available for libppl-doc in ubuntu cosmic.

libppl-swi: No summary available for libppl-swi in ubuntu cosmic.

No description available for libppl-swi in ubuntu cosmic.

libppl-swi-dbgsym: debug symbols for libppl-swi
libppl14: Parma Polyhedra Library (runtime library)

 The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you
 mean it), fully dynamic (available virtual memory is the only
 limitation to the dimension of anything), written in standard C++,
 exception-safe, rather efficient and thoroughly documented.

libppl14-dbgsym: debug symbols for libppl14
ppl-dev: Parma Polyhedra Library (development binaries)

 The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you
 mean it), fully dynamic (available virtual memory is the only
 limitation to the dimension of anything), written in standard C++,
 exception-safe, rather efficient and thoroughly documented.
 .
 This package provides the ppl-config binary.

ppl-dev-dbgsym: debug symbols for ppl-dev