minisat
Non è disponibile alcun pacchetto ufficiale per openSUSE Leap 16.0
Distribuzioni
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
SUSE SLE-15-SP1
Distribuzioni non supportate
Le seguenti distribuzioni non sono ufficialmente supportate. Usare questi pacchetti a proprio rischio.