INFO
Name: java-z3
Version: 4.8.10-3.el9
Arch: i686
Summary: Java interface to z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-f718c0ff-5645-49d6-96da-c73a4d494b28-b-i686
Build Date: Mon Dec 12 23:27:43 2022
Size: 404827
URL: https://github.com/Z3Prover/z3
Description: Java interface to z3.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/55
/usr/lib/.build-id/55/3ebc58a80dafa6bd6a5772a44d1330bf6a98f3
/usr/lib/java/com.microsoft.z3-4.8.10.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib/z3
/usr/lib/z3/com.microsoft.z3.jar
/usr/lib/z3/libz3java.so
REQUIRES
java
javapackages-tools
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.4)
libstdc++.so.6
libstdc++.so.6(CXXABI_1.3.8)
libstdc++.so.6(GLIBCXX_3.4)
libz3.so.4.8
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
z3-libs(x86-32) 4.8.10-3.el9
PROVIDES
java-z3 4.8.10-3.el9
java-z3(x86-32) 4.8.10-3.el9
libz3java.so
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/55 a
/usr/lib/.build-id/55/3ebc58a80dafa6bd6a5772a44d1330bf6a98f3 a
/usr/lib/java/com.microsoft.z3-4.8.10.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib/z3
/usr/lib/z3/com.microsoft.z3.jar
/usr/lib/z3/libz3java.so
LICENSE FILES
MIT
|
