Dependencies
Provides
- java-z3 = 4.12.1-1.mga9
- java-z3(x86-64) = 4.12.1-1.mga9
- libz3java.so()(64bit)
Requires
- java
- javapackages-tools
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libz3.so.4.12()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1
- z3-libs(x86-64) = 4.12.1-1.mga9