libgmp-dev binary package in Ubuntu Artful armhf
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-07-10 15:03:46 UTC | Obsolete | Ubuntu Artful armhf | release | main | libdevel | Optional | 2:6.1.2+dfsg-1 | ||
|