coq binary package in Ubuntu Gutsy lpia
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2011-09-16 12:43:38 UTC | Obsolete | Ubuntu Gutsy lpia | release | universe | math | Optional | 8.1+dfsg-6 | ||
|
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2011-09-16 12:43:38 UTC | Obsolete | Ubuntu Gutsy lpia | release | universe | math | Optional | 8.1+dfsg-6 | ||
|