65b21c
Update minisat to version 2.2.1+20200902 / rev 5 via SR 991175 https://build.opensuse.org/request/show/991175 by user jirislaby + RBrownFactory - fix rpath (don't use relative lib64)