Package | Summary | Distribution | Download |
minisat-devel-2.2.1+20200902-3.8.i586.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for i586 | minisat-devel-2.2.1+20200902-3.8.i586.rpm |
minisat-devel-2.2.1+20200902-3.8.ppc64le.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for ppc64le | minisat-devel-2.2.1+20200902-3.8.ppc64le.rpm |
minisat-devel-2.2.1+20200902-3.7.aarch64.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for aarch64 | minisat-devel-2.2.1+20200902-3.7.aarch64.rpm |
minisat-devel-2.2.1+20200902-3.7.armv6hl.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for armv6hl | minisat-devel-2.2.1+20200902-3.7.armv6hl.rpm |
minisat-devel-2.2.1+20200902-3.7.armv7hl.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for armv7hl | minisat-devel-2.2.1+20200902-3.7.armv7hl.rpm |
minisat-devel-2.2.1+20200902-3.7.s390x.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for s390x | minisat-devel-2.2.1+20200902-3.7.s390x.rpm |
minisat-devel-2.2.1+20200902-3.7.x86_64.html | Devel files for minisat | OpenSuSE Tumbleweed for x86_64 | minisat-devel-2.2.1+20200902-3.7.x86_64.rpm |
minisat-devel-2.2.1+20200902-3.2.riscv64.html | Devel files for minisat | OpenSuSE Ports Tumbleweed for riscv64 | minisat-devel-2.2.1+20200902-3.2.riscv64.rpm |
minisat-devel-2.2.1+20200902-bp156.4.6.aarch64.html | Devel files for minisat | OpenSuSE Leap 15.6 for aarch64 | minisat-devel-2.2.1+20200902-bp156.4.6.aarch64.rpm |
minisat-devel-2.2.1+20200902-bp156.4.6.ppc64le.html | Devel files for minisat | OpenSuSE Leap 15.6 for ppc64le | minisat-devel-2.2.1+20200902-bp156.4.6.ppc64le.rpm |
minisat-devel-2.2.1+20200902-bp156.4.6.s390x.html | Devel files for minisat | OpenSuSE Leap 15.6 for s390x | minisat-devel-2.2.1+20200902-bp156.4.6.s390x.rpm |
minisat-devel-2.2.1+20200902-bp156.4.6.x86_64.html | Devel files for minisat | OpenSuSE Leap 15.6 for x86_64 | minisat-devel-2.2.1+20200902-bp156.4.6.x86_64.rpm |
minisat-devel-2.2.1+20200902-bp155.3.12.aarch64.html | Devel files for minisat | OpenSuSE Leap 15.5 for aarch64 | minisat-devel-2.2.1+20200902-bp155.3.12.aarch64.rpm |
minisat-devel-2.2.1+20200902-bp155.3.12.ppc64le.html | Devel files for minisat | OpenSuSE Leap 15.5 for ppc64le | minisat-devel-2.2.1+20200902-bp155.3.12.ppc64le.rpm |
minisat-devel-2.2.1+20200902-bp155.3.12.s390x.html | Devel files for minisat | OpenSuSE Leap 15.5 for s390x | minisat-devel-2.2.1+20200902-bp155.3.12.s390x.rpm |
minisat-devel-2.2.1+20200902-bp155.3.12.x86_64.html | Devel files for minisat | OpenSuSE Leap 15.5 for x86_64 | minisat-devel-2.2.1+20200902-bp155.3.12.x86_64.rpm |
minisat-devel-2.2.1+20200902-bp155.3.1.armv7hl.html | Devel files for minisat | OpenSuSE Ports Leap 15.5 for armv7hl | minisat-devel-2.2.1+20200902-bp155.3.1.armv7hl.rpm |
minisat-devel-2.2.1+20200902-bp154.1.51.aarch64.html | Devel files for minisat | OpenSuSE Leap 15.4 for aarch64 | minisat-devel-2.2.1+20200902-bp154.1.51.aarch64.rpm |
minisat-devel-2.2.1+20200902-bp154.1.51.ppc64le.html | Devel files for minisat | OpenSuSE Leap 15.4 for ppc64le | minisat-devel-2.2.1+20200902-bp154.1.51.ppc64le.rpm |
minisat-devel-2.2.1+20200902-bp154.1.51.s390x.html | Devel files for minisat | OpenSuSE Leap 15.4 for s390x | minisat-devel-2.2.1+20200902-bp154.1.51.s390x.rpm |
minisat-devel-2.2.1+20200902-bp154.1.51.x86_64.html | Devel files for minisat | OpenSuSE Leap 15.4 for x86_64 | minisat-devel-2.2.1+20200902-bp154.1.51.x86_64.rpm |
minisat-devel-2.2.1+20200902-bp154.1.1.armv7hl.html | Devel files for minisat | OpenSuSE Ports Leap 15.4 for armv7hl | minisat-devel-2.2.1+20200902-bp154.1.1.armv7hl.rpm |
minisat-devel-2.2.0+20130925-bp153.1.17.aarch64.html | Devel files for minisat | OpenSuSE Leap 15.3 for aarch64 | minisat-devel-2.2.0+20130925-bp153.1.17.aarch64.rpm |
minisat-devel-2.2.0+20130925-bp153.1.17.ppc64le.html | Devel files for minisat | OpenSuSE Leap 15.3 for ppc64le | minisat-devel-2.2.0+20130925-bp153.1.17.ppc64le.rpm |
minisat-devel-2.2.0+20130925-bp153.1.17.s390x.html | Devel files for minisat | OpenSuSE Leap 15.3 for s390x | minisat-devel-2.2.0+20130925-bp153.1.17.s390x.rpm |
minisat-devel-2.2.0+20130925-bp153.1.17.x86_64.html | Devel files for minisat | OpenSuSE Leap 15.3 for x86_64 | minisat-devel-2.2.0+20130925-bp153.1.17.x86_64.rpm |
minisat-devel-2.2.0+20130925-bp153.1.1.armv7hl.html | Devel files for minisat | OpenSuSE Ports Leap 15.3 for armv7hl | minisat-devel-2.2.0+20130925-bp153.1.1.armv7hl.rpm |
minisat-devel-2.2.0+20130925-lp152.3.7.ppc64le.html | Devel files for minisat | OpenSuSE Ports Leap 15.2 for ppc64le | minisat-devel-2.2.0+20130925-lp152.3.7.ppc64le.rpm |
minisat-devel-2.2.0+20130925-lp152.3.6.x86_64.html | Devel files for minisat | OpenSuSE Leap 15.2 for x86_64 | minisat-devel-2.2.0+20130925-lp152.3.6.x86_64.rpm |
minisat-devel-2.2.0+20130925-lp152.3.2.aarch64.html | Devel files for minisat | OpenSuSE Ports Leap 15.2 for aarch64 | minisat-devel-2.2.0+20130925-lp152.3.2.aarch64.rpm |
minisat-devel-2.2.0+20130925-lp152.3.2.armv7hl.html | Devel files for minisat | OpenSuSE Ports Leap 15.2 for armv7hl | minisat-devel-2.2.0+20130925-lp152.3.2.armv7hl.rpm |