Publishing history of acl2 7.1-1 source package in Ubuntu
1 → 4 of 4 results | First • Previous • Next • Last |
Date | Status | Target | Component | Section | Version | ||
---|---|---|---|---|---|---|---|
2016-05-09 02:18:50 UTC | Superseded | Yakkety | release | universe | math | 7.1-1 | |
|
|||||||
2015-10-22 15:20:22 UTC | Published | Xenial | release | universe | math | 7.1-1 | |
|
|||||||
2018-01-22 04:16:43 UTC | Obsolete | Wily | release | universe | math | 7.1-1 | |
|
|||||||
Deleted | Wily | proposed | universe | math | 7.1-1 | ||
|
1 → 4 of 4 results | First • Previous • Next • Last |