coq-doc 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 | doc | Optional | 8.0pl1.0-1 | ||
|
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-04-24 19:15:58 UTC | Obsolete | Ubuntu Hardy lpia | release | universe | doc | Optional | 8.0pl1.0-1 | ||
|