libppl-c4_1.2-2build4_i386.deb


Advertisement

Description

libppl-c4 - Parma Polyhedra Library (C interface)

Property Value
Distribution Ubuntu 18.04 (Bionic Beaver)
Repository Ubuntu Universe i386
Package name libppl-c4
Package version 1.2
Package release 2build4
Package architecture i386
Package type deb
Installed size 3.98 KB
Download size 946.87 KB
Official Mirror archive.ubuntu.com
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.

Alternatives

Package Version Architecture Repository
libppl-c4_1.2-2build4_amd64.deb 1.2 amd64 Ubuntu Universe
libppl-c4 - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:3.0
libgmp10 -
libgmpxx4ldbl -
libppl14 = 1:1.2-2build4
libstdc++6 >= 5.2

Download

Type URL
Binary Package libppl-c4_1.2-2build4_i386.deb
Source Package ppl

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libppl-c4 deb package:
    # sudo apt-get install libppl-c4

Files

Path
/usr/lib/i386-linux-gnu/libppl_c.so.4
/usr/lib/i386-linux-gnu/libppl_c.so.4.0.0
/usr/share/doc/libppl-c4

Changelog

2018-02-05 - Steve Langasek <steve.langasek@ubuntu.com>
ppl (1:1.2-2build4) bionic; urgency=medium
* No-change rebuild against swi-prolog 7.6.4
2017-11-28 - Steve Langasek <steve.langasek@ubuntu.com>
ppl (1:1.2-2build3) bionic; urgency=medium
* No-change rebuild against swi-prolog 7.6.2
2017-11-21 - Steve Langasek <steve.langasek@ubuntu.com>
ppl (1:1.2-2build2) bionic; urgency=medium
* No-change rebuild against swi-prolog 7.6.1
2017-07-26 - Steve Langasek <steve.langasek@ubuntu.com>
ppl (1:1.2-2build1) artful; urgency=medium
* No-change rebuild against new swi-prolog
2017-07-12 - David Bremner <bremner@debian.org>
ppl (1:1.2-2) unstable; urgency=medium
* Team upload.
* Bug fix: replace build-dep on texlive-math-extra with texlive-science,
thanks to Adrian Bunk (Closes: #867100).
2016-11-12 - Tobias Hansen <thansen@debian.org>
ppl (1:1.2-1) unstable; urgency=medium
[ Andreas Tille ]
* Team upload
* Move package to Debian Science team Git
* cme fix dpkg-control
* Remove libppl6 breaks
* debhelper 9
[ Tobias Hansen ]
* New upstream version. (Closes: #811825, #818957)
* Fix build-indep target (Closes: #806865)
* Rename package libppl13v5 -> libppl14, new soname.
* Remove patches that were applied upstream:
- 0001-Warnings-avoided.patch
- 0002-Adapted-to-SWI-Prolog-version-7.x.patch
- doxygen-update.diff
- latex-header.diff
* Do not use the fixdebugpath flag from dpkg-buildflags,
which breaks the build.
* Add myself to uploaders.
2015-12-11 - Matthias Klose <doko@debian.org>
ppl (1:1.1-7.2) unstable; urgency=medium
* Non-maintainer upload.
* Restore the libppl-doc and libppl-swi packages, not built by mistake
in the previous upload.
2015-12-07 - Matthias Klose <doko@debian.org>
ppl (1:1.1-7.1) unstable; urgency=medium
* Non-maintainer upload.
* Fix build failure with with swi-prolog 7.x (Roberto Bagnara).
Closes: #787486.
2015-09-21 - Michael Tautschnig <mt@debian.org>
ppl (1:1.1-7) unstable; urgency=medium
* Rename C++ library package for the libstdc++ v5 transition. Thanks Simon
McVittie for providing the necessary patch and chasing all this up.
Closes: #799641.
* Run gzip with -n to enable reproducible builds
2015-08-25 - Michael Tautschnig <mt@debian.org>
ppl (1:1.1-6) unstable; urgency=low
* Re-adopting the package. Closes: #791996.
* libppl-dev.maintscript: Perform the symlink_to_dir migration of
/usr/share/doc/libppl-dev. The symlink dates back to the package in lenny
as the libppl-dev package did not exist in squeeze or wheezy.
Closes: #788455.
* libppl-dev: Update Breaks+Conflicts to match Replaces+Provides.
* Thanks Andreas Beckmann <anbe@debian.org> for those two patches.

See Also

Package Description
libppl-dev_1.2-2build4_i386.deb Parma Polyhedra Library (development)
libppl-doc_1.2-2build4_all.deb Parma Polyhedra Library: Documentation
libppl-swi_1.2-2build4_i386.deb Parma Polyhedra Library (SWI Prolog interface)
libppl14_1.2-2build4_i386.deb Parma Polyhedra Library (runtime library)
libppx-deriving-ocaml-dev_4.1-1.1_i386.deb type-driven code generation for OCaml (dev files)
libppx-deriving-ocaml_4.1-1.1_i386.deb type-driven code generation for OCaml (runtime files)
libppx-tools-ocaml-dev_5.0+4.05.0-1_i386.deb tools for authors of OCaml syntactic tools
libppx-visitors-ocaml-dev_20170725-2_i386.deb OCaml syntax extension for object-oriented visitors
libppx-visitors-ocaml-doc_20170725-2_all.deb Documentation of the visitors syntax extension for OCaml
libpqtypes-dev_1.5.1-2_i386.deb parameterized queries libpq extension - development
libpqtypes0_1.5.1-2_i386.deb parameterized queries libpq extension - shared library
libpqxx-4.0v5_4.0.1+dfsg3-8_i386.deb C++ library to connect to PostgreSQL
libpqxx-dev_4.0.1+dfsg3-8_i386.deb C++ library to connect to PostgreSQL (development files)
libpqxx-doc_4.0.1+dfsg3-8_all.deb C++ library to connect to PostgreSQL (documentation)
libpqxx3-dev_4.0.1+dfsg3-8_all.deb Transitional dummy package for libpqxx-dev
Advertisement
Advertisement