Metadata for java-z3-4.8.10-3.el9.s390x.rpm

0 directories 0 files
Go up

INFO

Name: java-z3
Version: 4.8.10-3.el9
Arch: s390x
Summary: Java interface to z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-5f6d2316-e5b9-4feb-a70d-cc54dfb6337f-b-s390x
Build Date: Mon Dec 12 23:28:17 2022
Size: 388170
URL: https://github.com/Z3Prover/z3
Description: Java interface to z3.

FILES

/usr/lib/.build-id
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/d4735345d7250ba2969a10d035d3f8984f4197
/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)(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(s390-64) 4.8.10-3.el9

PROVIDES

java-z3 4.8.10-3.el9
java-z3(s390-64) 4.8.10-3.el9
libz3java.so()(64bit)

CONFIG FILES

/usr/lib/.build-id a
/usr/lib/.build-id/ed a
/usr/lib/.build-id/ed/d4735345d7250ba2969a10d035d3f8984f4197 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