Sat, 23 Nov 2024 13:17:08 UTC | login

Information for RPM cvc4-python3-1.8-15.fc38.riscv64.rpm

ID999745
Namecvc4-python3
Version1.8
Release15.fc38
Epoch
Archriscv64
SummaryPython 3 interface to cvc4
DescriptionPython 3 interface to cvc4.
Build Time2023-05-05 06:28:35 GMT
Size648.38 KB
5d6b4e2b15af42ecb2c45e21b8c2830e
LicenseBSD-3-Clause AND MIT
Buildrootf38-build-709394-92901
Provides
cvc4-python3 = 1.8-15.fc38
cvc4-python3(riscv-64) = 1.8-15.fc38
python3.11dist(pycvc4) = 1.8
python3dist(pycvc4) = 1.8
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
cvc4-libs(riscv-64) = 1.8-15.fc38
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libcvc4.so.7()(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libgmp.so.10()(64bit)
libpython3.11.so.1.0()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.5)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
python(abi) = 3.11
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PartialHardlinkSets) <= 4.0.4-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 20 of 20
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/a60.00 B
/usr/lib/.build-id/a6/a42d2d026211862b8da835b5743424cb0ee68055.00 B
/usr/lib/.build-id/f60.00 B
/usr/lib/.build-id/f6/b9c2acb625bfa7844afc89383722f113cad8c563.00 B
/usr/lib64/python3.11/site-packages/CVC4.py149.99 KB
/usr/lib64/python3.11/site-packages/_CVC4.so1.71 MB
/usr/lib64/python3.11/site-packages/__pycache__/CVC4.cpython-311.opt-1.pyc342.44 KB
/usr/lib64/python3.11/site-packages/__pycache__/CVC4.cpython-311.pyc342.44 KB
/usr/lib64/python3.11/site-packages/pycvc40.00 B
/usr/lib64/python3.11/site-packages/pycvc4-1.8.0-py3.11.egg-info0.00 B
/usr/lib64/python3.11/site-packages/pycvc4-1.8.0-py3.11.egg-info/PKG-INFO94.00 B
/usr/lib64/python3.11/site-packages/pycvc4-1.8.0-py3.11.egg-info/SOURCES.txt311.00 B
/usr/lib64/python3.11/site-packages/pycvc4-1.8.0-py3.11.egg-info/dependency_links.txt1.00 B
/usr/lib64/python3.11/site-packages/pycvc4-1.8.0-py3.11.egg-info/top_level.txt7.00 B
/usr/lib64/python3.11/site-packages/pycvc4/__init__.py159.00 B
/usr/lib64/python3.11/site-packages/pycvc4/__pycache__0.00 B
/usr/lib64/python3.11/site-packages/pycvc4/__pycache__/__init__.cpython-311.opt-1.pyc315.00 B
/usr/lib64/python3.11/site-packages/pycvc4/__pycache__/__init__.cpython-311.pyc315.00 B
/usr/lib64/python3.11/site-packages/pycvc4/pycvc4.so460.53 KB
Component of No Buildroots