State of standard for openSUSE:Backports:SLE-15-SP3 / minisat
x86_64
| _buildenv (85.3 KB) |
|
| libminisat2-2.2.0+20130925-bp153.1.17.x86_64.rpm (46.7 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.src.rpm (50.2 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.x86_64.rpm (19.5 KB) |
|
| minisat-devel-2.2.0+20130925-bp153.1.17.x86_64.rpm (31.5 KB) |
|
| rpmlint.log (602 Bytes) |
|
i586
No built binaries
aarch64
| _buildenv (85 KB) |
|
| libminisat2-2.2.0+20130925-bp153.1.17.aarch64.rpm (44.9 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.aarch64.rpm (19.5 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.src.rpm (50.2 KB) |
|
| minisat-devel-2.2.0+20130925-bp153.1.17.aarch64.rpm (31.5 KB) |
|
| rpmlint.log (602 Bytes) |
|
ppc64le
| _buildenv (84 KB) |
|
| libminisat2-2.2.0+20130925-bp153.1.17.ppc64le.rpm (50.8 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.ppc64le.rpm (20.5 KB) |
|
| minisat-2.2.0+20130925-bp153.1.17.src.rpm (50.2 KB) |
|
| minisat-devel-2.2.0+20130925-bp153.1.17.ppc64le.rpm (31.5 KB) |
|
| rpmlint.log (602 Bytes) |
|
