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