libwhy-coq binary package in Ubuntu Trusty i386
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2014-05-01 18:10:10 UTC | Deleted | Ubuntu Trusty i386 | proposed | universe | libdevel | Optional | 2.33-2 | ||
|
|||||||||
2014-02-20 03:14:07 UTC | Superseded | Ubuntu Trusty i386 | proposed | universe | libdevel | Optional | 2.33-1 | ||
|