coqide binary package in Ubuntu Feisty ia64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2009-08-20 18:20:10 UTC | Obsolete | Ubuntu Feisty ia64 | release | universe | math | Optional | 8.0pl3-2ubuntu1 | ||
|
|||||||||
2007-03-23 14:04:00 UTC | Superseded | Ubuntu Feisty ia64 | release | universe | math | Optional | 8.0pl3-2 | ||
|