libgmp3-dev binary package in Ubuntu Bionic 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 | ||
---|---|---|---|---|---|---|---|---|---|
2022-10-12 15:38:29 UTC | Published | Ubuntu Bionic armhf | updates | main | libdevel | Optional | 2:6.1.2+dfsg-2ubuntu0.1 | ||
|
|||||||||
2022-10-12 15:08:42 UTC | Published | Ubuntu Bionic armhf | security | main | libdevel | Optional | 2:6.1.2+dfsg-2ubuntu0.1 | ||
|
|||||||||
2018-02-07 11:14:19 UTC | Published | Ubuntu Bionic armhf | release | main | libdevel | Optional | 2:6.1.2+dfsg-2 | ||
|
|||||||||
Deleted | Ubuntu Bionic armhf | proposed | main | libdevel | Optional | 2:6.1.2+dfsg-2 | |||
|
|||||||||
2018-01-24 17:45:02 UTC | Superseded | Ubuntu Bionic armhf | proposed | main | libdevel | Optional | 2:6.1.2+dfsg-1.2 | ||
|
|||||||||
2018-01-20 03:03:23 UTC | Superseded | Ubuntu Bionic armhf | proposed | main | libdevel | Optional | 2:6.1.2+dfsg-1.1 | ||
|
|||||||||
2018-02-07 11:14:36 UTC | Superseded | Ubuntu Bionic armhf | release | main | libdevel | Optional | 2:6.1.2+dfsg-1 | ||
|