ppl-dev_1.2-7_amd64.deb


Advertisement

Description

ppl-dev - Parma Polyhedra Library (development binaries)

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename ppl-dev_1.2-7_amd64.deb
Package name ppl-dev
Package version 1.2
Package release 7
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://www.cs.unipr.it/ppl/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 34.23 KB
Installed size 329.00 KB
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.

Alternatives

Package Version Architecture Repository
ppl-dev_1.2-7_i386.deb 1.2 i386 Ubuntu Universe
ppl-dev - - -

Requires

Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libppl-dev = 1:1.2-7
libppl14 -
libstdc++6 >= 5.2

Replaces

Name Value
libppl0.11-dev -

Download

Type URL
Mirror archive.ubuntu.com
Binary Package ppl-dev_1.2-7_amd64.deb
Source Package ppl

Install Howto

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

Files

Path
/usr/bin/ppl-config
/usr/share/doc/ppl-dev/changelog.Debian.gz
/usr/share/doc/ppl-dev/copyright
/usr/share/man/man1/ppl-config.1.gz

Changelog

2019-01-20 - James Clarke <jrtc27@debian.org>
ppl (1:1.2-7) unstable; urgency=medium
* Team upload.
* debian/control: Drop libppl-swi on sh4
* Perform missing symlink_to_dir conversion for /usr/share/doc/package
(Closes: #919899)
2019-01-18 - James Clarke <jrtc27@debian.org>
ppl (1:1.2-6) unstable; urgency=medium
* Team upload.
* Disable swi-prolog bindings on architectures without swi-prolog
2019-01-18 - James Clarke <jrtc27@debian.org>
ppl (1:1.2-5) unstable; urgency=medium
* Team upload.
* fix_latex_build.patch: Add missing final line to appease tools
* Fix build on hurd-i386
2019-01-17 - James Clarke <jrtc27@debian.org>
ppl (1:1.2-4) unstable; urgency=medium
* Team upload.
* fix_AC_CHECK_SWI_PROLOG.patch: New patch to fix build with swi-prolog 7.7.25+dfsg-2
(Closes: #916952)
* Add pkg.ppl.no-swi-prolog profile to replace deprecated DEB_STAGE=stage1
* Use dh sequencer and drop inter-package /usr/share/doc symlinks
* Run wrap-and-sort -a
* Bump Standards-Version to 4.3.0; no changes needed
* debian/control:
- Recommend libgmp-dev rather than transitional libgmp3-dev
(Closes: #849319)
- Build-Depend on unversioned libncurses-dev and drop libncursesw5-dev
- Add Rules-Requires-Root: no
* debian/rules: Enable SWI-Prolog interface on arm64; hopefully improved since 2013
* debian/watch: Point to updated download location
2018-05-26 - Andreas Tille <tille@debian.org>
ppl (1:1.2-3) unstable; urgency=medium
* Team upload.
* Fix LaTeX build
Closes: #897098
* debhelper 11
* Point Vcs fields to salsa.debian.org
* Standards-Version: 4.1.4
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

See Also

Package Description
ppp-gatekeeper_0.1.0-201406111015-1_all.deb PPP manager for handling balanced, redundant and failover links
pppdcapiplugin_3.25+dfsg1-9ubuntu3_amd64.deb ISDN utilities - pppd plug-in for CAPI support
pppoe_3.12-1.2ubuntu1_amd64.deb PPP over Ethernet driver
pprepair_0.0~20170614-dd91a21-3build1_amd64.deb planar partition repair tool
pps-tools_1.0.2-1_amd64.deb LinuxPPS support tools and headers
ppsh_1.7-2_amd64.deb Program to parse and pretty print arbitrary Haskell Show output
pqiv_2.11-1_amd64.deb Powerful image viewer with minimal UI
pr3287_3.6ga4-3build1_amd64.deb IBM 3287 printer emulation for telnet sessions to IBM mainframes
praat_6.0.48-1_amd64.deb program for speech analysis and synthesis
prads_0.3.3-1build1_amd64.deb Passive Real-time Asset Detection System
praelector_0.5-1_amd64.deb helps one to read a Latin phrase in a "natural" way
pragha_1.3.3-1_amd64.deb Lightweight Music Player
prank_0.0.170427+dfsg-2_amd64.deb Probabilistic Alignment Kit for DNA, codon and amino-acid sequences
praw-doc_6.1.1-1_all.deb Python Reddit API Wrapper (Documentation)
prayer-accountd_1.3.5-dfsg1-6_amd64.deb account management daemon for Prayer
Advertisement
Advertisement