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