boolector binary package in Ubuntu Kinetic ppc64el
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-11-13 12:55:48 UTC | Obsolete | Ubuntu Kinetic ppc64el | release | universe | science | Extra | 1.5.118.6b56be4.121013-1.1 | ||
|