acl2 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 | math | Optional | 4.2-1 | ||
|
|||||||||
2011-09-02 03:04:37 UTC | Superseded | Ubuntu Oneiric i386 | release | universe | math | Optional | 4.1-5 | ||
|