Package: lib32gmp-dev Version: 2:5.1.2+dfsg-2 Severity: important Hello Debian Science Team, libgmp32-dev header file is installed in /usr/include/gmp32/x86_64-linux-gnu/gmp.h There is no way any software will find it there. Cheers, -- Bill. <ballombe at debian.org> Imagine a large red swirl here.