File satsolver-no-testing.diff of Package mingw64-libsatsolver (Revision 8bd394699cb3c60e3390446784dcd665)
Currently displaying revision 8bd394699cb3c60e3390446784dcd665 , Show latest
Currently displaying revision 8bd394699cb3c60e3390446784dcd665 , Show latest