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