libgmp3-dev 2:5.1.2+dfsg-3ubuntu3 (amd64 binary) in ubuntu trusty

 This is a dummy package that simply pulls in libgmp-dev.
 It can safely be removed.

Details

Package version:
2:5.1.2+dfsg-3ubuntu3
Source:
gmp 2:5.1.2+dfsg-3ubuntu3 source package in Ubuntu
Status:
Superseded
Component:
main
Priority:
Optional

Package relationships

Conflicts:
  • libgmp10-dev (<< 2:5.0.1+dfsg-7)
Replaces:
  • libgmp10-dev