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