libgmp3-dev binary package in Ubuntu RTM 14.09-factory armhf
This is a dummy package that simply pulls in libgmp-dev.
It can safely be removed.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-02-06 17:25:20 UTC | Published | Ubuntu RTM 14.09-factory armhf | release | main | libdevel | Optional | 2:6.0.0+dfsg-4 | ||
|