没有 home:rhabacker:branches:windows:mingw:win32 / mingw32-libsatsolver 的数据