libaac-tactics-coq binary package in Ubuntu Oneiric armel
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-04-24 09:57:35 UTC | Obsolete | Ubuntu Oneiric armel | release | universe | math | Optional | 0.2.pl2-2build1 | ||
|
|||||||||
2011-08-25 11:04:41 UTC | Superseded | Ubuntu Oneiric armel | release | universe | math | Optional | 0.2.pl2-2 | ||
|