proofgeneral binary package in Ubuntu Kinetic amd64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-11-13 12:55:48 UTC | Obsolete | Ubuntu Kinetic amd64 | release | universe | editors | Optional | 4.4.1~pre170114-1.2 | ||
|