Source: minisat2 Version: 1:2.2.0-1 Severity: serious Justification: FTBFS Hi,
your package FTBFS on a bunch of Linux architectures: | /build/buildd-minisat2_2.2.0-1-s390-qZhM3l/minisat2-2.2.0/core/Main.cc: In function 'int main(int, char**)': | /build/buildd-minisat2_2.2.0-1-s390-qZhM3l/minisat2-2.2.0/core/Main.cc:79: error: '_FPU_EXTENDED' was not declared in this scope | /build/buildd-minisat2_2.2.0-1-s390-qZhM3l/minisat2-2.2.0/core/Main.cc:79: error: '_FPU_DOUBLE' was not declared in this scope Full build logs: https://buildd.debian.org/status/package.php?p=minisat2&suite=unstable Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
