minisat

Edit Package minisat
No description set
Refresh
Refresh
Source Files
Filename Size Changed
0001-CMakeLists-support-different-lib-dirs.patch 0000001062 1.04 KB
CMakeLists-use-absolute-libdir-in-rpath-handling.patch 0000002138 2.09 KB
_service 0000000679 679 Bytes
_servicedata 0000000229 229 Bytes
minisat-2.2.1+20200902.obscpio 0000233995 229 KB
minisat.changes 0000003023 2.95 KB
minisat.obsinfo 0000000105 105 Bytes
minisat.spec 0000002793 2.73 KB
Latest Revision
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) accepted request 996251 from Yuchen Lin's avatar Yuchen Lin (maxlin_factory) (revision 4)
Automatically create request by update submitter.                This is going to update package to openSUSE:Backports:SLE-15-SP5 from openSUSE:Factory.                Please review this change and decline it if Leap do not need it.
Comments 0
openSUSE Build Service is sponsored by