File 0001-CMakeLists-support-different-lib-dirs.patch of Package minisat (Revision d519a0129a9398b4d0086f7c8ff5e5b0)
Currently displaying revision d519a0129a9398b4d0086f7c8ff5e5b0 , Show latest
Currently displaying revision d519a0129a9398b4d0086f7c8ff5e5b0 , Show latest