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