agda-stdlib-doc binary package in Ubuntu Impish amd64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-07-23 18:02:57 UTC | Obsolete | Ubuntu Impish amd64 | release | universe | doc | Extra | 1.3-2 | ||
|
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-07-23 18:02:57 UTC | Obsolete | Ubuntu Impish amd64 | release | universe | doc | Extra | 1.3-2 | ||
|