Package details
Package | ppl-doc |
---|---|
Version | 1.2-r1 |
Description | Parma Polyhedra Library (documentation) |
Project | https://www.bugseng.com/ppl |
License | GFDL-1.2-only |
Branch | edge |
Repository | testing |
Architecture | armv7 |
Size | 9.09 MB |
Installed size | 24.32 MB |
Origin | ppl |
Maintainer | Cormac Stephenson |
Build time | 2023-05-15 14:51:49 |
Commit | 454eccf116d6f3976aef80665425f46d655c0e5f |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |