Repositories for minisat
This package is inherited from the project openSUSE:Leap:15.2 and changing repository flags has no effect.
No build reason found for openSUSE_13.1_Update_ports:aarch64
openSUSE Build Service is sponsored by
This package is inherited from the project openSUSE:Leap:15.2 and changing repository flags has no effect.