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