File satsolver-mingw.diff of Package mingw64-libsatsolver (Revision 53ab2c560693ab8739ea936dad4e05aa)
Currently displaying revision 53ab2c560693ab8739ea936dad4e05aa , Show latest
Currently displaying revision 53ab2c560693ab8739ea936dad4e05aa , Show latest