coq-doc binary package in Ubuntu Hirsute armhf
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-07-23 01:40:00 UTC | Obsolete | Ubuntu Hirsute armhf | release | multiverse | doc | Optional | 8.6-1 | ||
|
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-07-23 01:40:00 UTC | Obsolete | Ubuntu Hirsute armhf | release | multiverse | doc | Optional | 8.6-1 | ||
|