(new) libppl-c4_0.11-1_amd64.deb optional libs
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-doc_0.11-1_all.deb
to main/p/ppl/libppl-doc_0.11-1_all.deb
libppl-swi_0.11-1_amd64.deb
to main/p/ppl/libppl-swi_0.11-1_amd64.deb
(new) libppl0.11-dev_0.11-1_amd64.deb optional libdevel
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.
(new) libppl9_0.11-1_amd64.deb optional libs
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.
libpwl-dev_0.11-1_amd64.deb
to main/p/ppl/libpwl-dev_0.11-1_amd64.deb
(new) libpwl5_0.11-1_amd64.deb optional libs
Parma Watchdog Library (Watchdog timers - runtime library)
The Parma Watchdog Library (PWL) provides support for multiple,
concurrent watchdog timers on systems providing setitimer(2). The
PWL is currently distributed with the Parma Polyhedra Library (PPL),
but is totally independent from it.
ppl_0.11-1.debian.tar.gz
to main/p/ppl/ppl_0.11-1.debian.tar.gz
ppl_0.11-1.dsc
to main/p/ppl/ppl_0.11-1.dsc
ppl_0.11.orig.tar.bz2
to main/p/ppl/ppl_0.11.orig.tar.bz2
Changes: ppl (0.11-1) experimental; urgency=low
.
* New upstream release.
- Dropped all patches as these issues have been fixed upstream.
- Re-enabled Prolog interface on m68k as swi-prolog is now handled more
flexibly by upstream.
- SONAME bumps: libppl7 -> libppl9, libppl-c2 -> libppl-c4, libpwl4 ->
libpwl5
* Use release directories in watch file for better reliablity (upstream
hasn't updated LATEST link).
Override entries for your package:
libppl-doc_0.11-1_all.deb - optional doc
libppl-swi_0.11-1_amd64.deb - optional libs
libpwl-dev_0.11-1_amd64.deb - optional libdevel
ppl_0.11-1.dsc - source libs
Announcing to debian-devel-chan...@lists.debian.org
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1pczpu-0006ke...@franck.debian.org
