You are here:
Package: pplite
Show more informations from pkgdb
| Summary: | Convex polyhedra library for abstract interpretation |
|---|---|
| Description: | |
| URL: | https://www.cs.unipr.it/~zaffanella/PPLite/ |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/pplite |
| Koschei: | https://koschei.fedoraproject.org/package/pplite |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 0.12-7.fc43 | |||
| f43 | base | 0.12-7.fc43 | ||
| f42 | base | 0.12-6.fc42 | ||
| f41 | base | 0.12-4.fc41 | ||
| f40 | testing | 0.11-5.fc40 | ||
| base | 0.11-5.fc40 | |||
| f39 | base | 0.11-1.fc39 |