Source: minisat2 Version: 1:2.2.0-1 Severity: serious Justification: FTBFS User: debian-...@lists.debian.org Usertags: kfreebsd
Hi, your package no longer builds on kfreebsd-*: | /build/buildd-minisat2_2.2.0-1-hurd-i386-OnLli_/minisat2-2.2.0/simp/Main.or: In function `printStats(Minisat::Solver&)': | /build/buildd-minisat2_2.2.0-1-hurd-i386-OnLli_/minisat2-2.2.0/simp/Main.cc:41: undefined reference to `Minisat::memUsedPeak()' | collect2: ld returned 1 exit status | make[1]: *** [minisat_release] Error 1 Full build logs: https://buildd.debian.org/status/package.php?p=minisat2 Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
