Source: gmp Version: 2:6.0.0+dfsg-4 Severity: wishlist Hello Steve, It would be nice to have debugging symbols for libgmp available in libgmp-dbg. Cheers, -- Bill. <ballombe at debian.org> Imagine a large red swirl here.