Re: Freeze exception for minisat2

2008-10-04 Thread Marc 'HE' Brockschmidt
Michael Tautschnig <[EMAIL PROTECTED]> writes: > Could I get a freeze exception for minisat2 (070721-5, lenny has > 070721-3). Unblocked. Marc -- Fachbegriffe der Informatik - Einfach erklärt 75: Plattencrash Ausrede für fehlerhafte Systemadministration jeglicher Art

Freeze exception for minisat2

2008-09-29 Thread Michael Tautschnig
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 fir