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