| source package | package | architecture | revision | error |
|---|
| z3 | lib64z3_4 | aarch64 | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |
| java-z3 | armv7hl | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |
| libz3_4 | armv7hl | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |
| java-z3 | i686 | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |
| libz3_4 | i686 | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |
| lib64z3_4 | x86_64 | 4.14.1-1.1.mga10 | Obsolete binaries (source 5.1.0-2.mga11 found) |