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