libwhy-coq binary package in Ubuntu Oneiric i386
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-04-24 09:57:35 UTC | Obsolete | Ubuntu Oneiric i386 | release | universe | libdevel | Optional | 2.29+dfsg-3 | ||
|
|||||||||
2011-05-19 22:05:21 UTC | Superseded | Ubuntu Oneiric i386 | release | universe | libdevel | Optional | 2.26+dfsg-2 | ||
|