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. <ballo...@debian.org> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org