proofgeneral binary package in Ubuntu Artful ppc64el
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-07-10 15:03:46 UTC | Obsolete | Ubuntu Artful ppc64el | release | universe | editors | Optional | 4.4.1~pre170114-1 | ||
|