File 0001-CMakeLists-make-static-lib-optional.patch of Package minisat (Revision 7eb427c3f0ab581739b02c34ac2dfca2)
Currently displaying revision 7eb427c3f0ab581739b02c34ac2dfca2 , Show latest
Currently displaying revision 7eb427c3f0ab581739b02c34ac2dfca2 , Show latest