libppl-dev (1:1.2-8.1+b3)

2 versions available in kali/kali-last-snapshot/main/armhf

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
ppl (1:1.2-8.1)
Architecture
armhf
Section
libdevel
Priority
optional
Maintainer
Debian Science Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
12.6 kB
Size expected
1.7 MB
Size actual
1.7 MB
Size match

Dependencies

Required package dependencies

  • libppl-c4 (= 1:1.2-8.1+b3)
  • libppl14 (= 1:1.2-8.1+b3)

Suggested packages

Recommended additional packages

  • libppl-doc

Description

Parma Polyhedra Library (development)

Homepage Download .deb

Tags

Package classification tags

devel::library
role::devel-lib

Checksums

Hash values and integrity verification status

TypeActualMatch
MD530d3ff16…05cac6e3
SHA-1dfa2b060…997677a4
SHA-256b9667d4b…6f438675
SHA-51291bc5e44…6a233d31

Contents

Files and directories included

.
usr
usr/include
usr/include/arm-linux-gnueabihf
usr/include/arm-linux-gnueabihf/ppl.hh
usr/include/arm-linux-gnueabihf/ppl_c.h
usr/lib
usr/lib/arm-linux-gnueabihf
usr/lib/arm-linux-gnueabihf/libppl.a
usr/lib/arm-linux-gnueabihf/libppl_c.a
usr/share
usr/share/aclocal
usr/share/aclocal/ppl.m4
usr/share/aclocal/ppl_c.m4
usr/share/doc
usr/share/doc/libppl-dev
usr/share/doc/libppl-dev/BUGS
usr/share/doc/libppl-dev/CREDITS.gz
usr/share/doc/libppl-dev/NEWS.gz
usr/share/doc/libppl-dev/README.gz
usr/share/doc/libppl-dev/changelog.Debian.armhf.gz
usr/share/doc/libppl-dev/changelog.Debian.gz
usr/share/doc/libppl-dev/changelog.gz
usr/share/doc/libppl-dev/copyright
usr/share/man
usr/share/man/man3
usr/share/man/man3/libppl.3.gz
usr/share/man/man3/libppl_c.3.gz
usr/lib/arm-linux-gnueabihf/libppl.so
usr/lib/arm-linux-gnueabihf/libppl_c.so