Package details
Package | ppl-dev |
---|---|
Version | 1.2-r1 |
Description | Parma Polyhedra Library (development files) |
Project | https://www.bugseng.com/ppl |
License | GPL-3.0-or-later |
Branch | edge |
Repository | testing |
Architecture | s390x |
Size | 613.7KiB |
Installed size | 3.9MiB |
Origin | ppl |
Maintainer | Cormac Stephenson |
Build time | 2023-05-15 14:51:49 |
Commit | 454eccf116d6f3976aef80665425f46d655c0e5f | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |