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 | armhf |
Size | 9.1MiB |
Installed size | 24.3MiB |
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 |