Publishing history of coq-quickchick 1.6.4-3build4 source package in Ubuntu
1 → 1 of 1 result | First • Previous • Next • Last |
Date | Status | Target | Component | Section | Version | ||
---|---|---|---|---|---|---|---|
2023-06-14 23:24:18 UTC | Superseded | Mantic | proposed | universe | misc | 1.6.4-3build4 | |
|
1 → 1 of 1 result | First • Previous • Next • Last |