3rd party tools, libgmp3c2 not found on Unbuntu 13.x

Steps to reproduce

Run do-all on Ubuntu 13.x, get warning that libgmp3c2 is not available

Assignee

James Perrin

Reporter

James Perrin

Severity

Build Error

Tags (folksonomy)

Components

Fix versions

Affects versions

Priority

Major
Configure