File satsolver-no-testing.diff of Package mingw32-libsatsolver (Revision d533d89b122bc1483b804386c1f663d7)
Currently displaying revision d533d89b122bc1483b804386c1f663d7 , Show latest
Currently displaying revision d533d89b122bc1483b804386c1f663d7 , Show latest