Package - libppl-dev

Package: libppl-dev
apt-get install libppl-dev

Manuals in package:

Documentations in package:

Primary informations

Property	Value
Package	libppl-dev
Source	ppl (1:1.2-8.1)
Version	1:1.2-8.1+b3
Installed-Size	20931
Maintainer	Debian Science Team
Architecture	amd64
Replaces	libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9
Provides	libppl-c-dev, libppl0.12-dev
Depends	libppl-c4 (= 1:1.2-8.1+b3), libppl14 (= 1:1.2-8.1+b3)
Recommends	libgmp-dev
Suggests	libppl-doc
Conflicts	libppl0.10-dev, libppl0.11-dev, libppl0.12-dev
Breaks	libppl7 (<< 0.10~pre27-4), libppl9
Description	Parma Polyhedra Library (development)
Description-md5	4fa45d1b24bb1abf6f705e66d3cc4f4a
Multi-Arch	same
Homepage	http://www.cs.unipr.it/ppl/
Tag	devel::library, role::devel-lib
Section	libdevel
Priority	optional
Filename	pool/main/p/ppl/libppl-dev_1.2-8.1+b3_amd64.deb
Size	2301832
MD5sum	8b1f48a1bf2d544f665c9a1cd7d924c1
SHA256	61bc682c79dc699930ce018d64ca72b69395cb8e5cdc4163d4ccc099bd7a6862