INFO
Name: java-z3
Version: 4.8.10-3.el9
Arch: x86_64
Summary: Java interface to z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-28feac97-71d9-4420-8bff-21688605a068-b-x86-64
Build Date: Mon Dec 12 23:27:44 2022
Size: 384322
URL: https://github.com/Z3Prover/z3
Description: Java interface to z3.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/2b18992d28c4f04c9a634a1803daf7f3e6e476
/usr/lib/java/com.microsoft.z3-4.8.10.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib64/z3
/usr/lib64/z3/com.microsoft.z3.jar
/usr/lib64/z3/libz3java.so
REQUIRES
java
javapackages-tools
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libz3.so.4.8()(64bit)
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-64) 4.8.10-3.el9
PROVIDES
java-z3 4.8.10-3.el9
java-z3(x86-64) 4.8.10-3.el9
libz3java.so()(64bit)
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/d6 a
/usr/lib/.build-id/d6/2b18992d28c4f04c9a634a1803daf7f3e6e476 a
/usr/lib/java/com.microsoft.z3-4.8.10.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib64/z3
/usr/lib64/z3/com.microsoft.z3.jar
/usr/lib64/z3/libz3java.so
LICENSE FILES
MIT
|
