INFO
Name: java-z3
Version: 4.8.10-3.el9
Arch: aarch64
Summary: Java interface to z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-00805af0-bc69-41c3-aa24-b4e55e2e70ad-b-aarch64
Build Date: Mon Dec 12 23:27:47 2022
Size: 375906
URL: https://github.com/Z3Prover/z3
Description: Java interface to z3.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/c0d1cd0347d945eb2a411348bdf2a3a8eb3c5d
/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
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(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(aarch-64) 4.8.10-3.el9
PROVIDES
java-z3 4.8.10-3.el9
java-z3(aarch-64) 4.8.10-3.el9
libz3java.so()(64bit)
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/d7 a
/usr/lib/.build-id/d7/c0d1cd0347d945eb2a411348bdf2a3a8eb3c5d 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
|
