| AArch64 | |
| ppc64le | |
| s390x | |
| x86-64 |
- Update to release 0.7
* This version also adds a C++ polymorphic interface allowing to
experiment with several variants of the domain of convex
polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats
versions, computing timing information for abstract operators.
- Initial package (version 0.6) for build.opensuse.org