Paquet virtuel : libppl0.12-dev
This is a virtual package. See the Debian policy for a definition of virtual packages.
Paquets fournissant libppl0.12-dev
- libppl-dev
- bibliothèque de polyèdres Parma –⋅développement
This is a virtual package. See the Debian policy for a definition of virtual packages.