Sun, 10 Nov 2024 07:49:33 UTC | login

Information for RPM japron-0.9.15-5.rvre0.fc41.riscv64.rpm

ID1435289
Namejapron
Version0.9.15
Release5.rvre0.fc41
Epoch
Archriscv64
SummaryJava interface to APRON
DescriptionJava interface to the APRON library.
Build Time2024-08-15 16:19:42 GMT
Size198.57 KB
df47db3ad5fc6b0646e8c210db2cf546
LicenseLGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
git:https://github.com/antoinemine/apron.git
Buildrootf41-build-842461-161623
Provides
japron = 0.9.15-5.rvre0.fc41
japron(riscv-64) = 0.9.15-5.rvre0.fc41
libjapron.so()(64bit)
libjgmp.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
apron(riscv-64) = 0.9.15-5.rvre0.fc41
javapackages-filesystem
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libap_pkgrid.so()(64bit)
libap_ppl.so()(64bit)
libap_pplite.so()(64bit)
libapron.so()(64bit)
libboxD.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgmp.so.10()(64bit)
libjgmp.so()(64bit)
libmpfr.so.6()(64bit)
liboctD.so()(64bit)
libpolkaMPQ.so()(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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/800.00 B
/usr/lib/.build-id/80/b54d26a6ba78b2ac5c9ecc661c79f0af8a90b835.00 B
/usr/lib/.build-id/ef0.00 B
/usr/lib/.build-id/ef/7d97926353a37f5d8a2aaccc0a17b22dbb3dd637.00 B
/usr/lib/java/apron.jar97.64 KB
/usr/lib/java/gmp.jar13.05 KB
/usr/lib/java/libjapron.so127.55 KB
/usr/lib/java/libjgmp.so152.09 KB
/usr/share/doc/japron0.00 B
/usr/share/doc/japron/README1.96 KB
/usr/share/licenses/japron0.00 B
/usr/share/licenses/japron/COPYING27.30 KB
Component of No Buildroots