proofgeneral-coq binary package in Ubuntu Hardy lpia
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-04-24 19:15:58 UTC | Obsolete | Ubuntu Hardy lpia | release | universe | editors | Optional | 3.5-6 | ||
|
|||||||||
2007-10-29 09:03:57 UTC | Superseded | Ubuntu Hardy lpia | release | universe | editors | Optional | 3.5-4.1 | ||
|