Dear Release-Team, Could I get a freeze exception for minisat2 (070721-5, lenny has 070721-3). The changes are: * Also test for _FPU_GETCW being defined to fix FTBFS on alpha * Added David A. Wheeler's nice intro to SAT solving The second one is a documentation add-on only, but the first is more important as it fixes an FTBFS [1]. The respective code change is a one-liner. Thanks, Michael [1] http://buildd.debian.org/fetch.cgi?&pkg=minisat2&ver=070721-3&arch=alpha&stamp=1217341764&file=log
Attachment:
pgp8PqcFuKTs7.pgp
Description: PGP signature