File satsolver-mingw.diff of Package mingw32-libsatsolver (Revision ef3c5878aa87898502e68e75a1819465)
Currently displaying revision ef3c5878aa87898502e68e75a1819465 , Show latest
Currently displaying revision ef3c5878aa87898502e68e75a1819465 , Show latest