proofgeneral binary package in Ubuntu Utopic i386
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2016-11-03 06:09:53 UTC | Obsolete | Ubuntu Utopic i386 | release | universe | editors | Optional | 4.3~pre130510-1.1 | ||
|