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. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
