Thu, 09 May 2024 02:31:44 UTC | login

Information for RPM qepcad-B-1.72-4.fc31.rvre0.riscv64.rpm

ID400419
Nameqepcad-B
Version1.72
Release4.fc31.rvre0
Epoch
Archriscv64
SummaryQuantifier elimination tool
DescriptionQEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.
Build Time2019-07-30 21:34:37 GMT
Size392.66 KB
2083999401714fb1dc91339b808a99da
LicenseMIT
Buildrootf31-build-62565-29097
Provides
qepcad-B = 1.72-4.fc31.rvre0
qepcad-B(riscv-64) = 1.72-4.fc31.rvre0
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
Singular
bash
coreutils
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libGL.so.1()(64bit)
libGLU.so.1()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libglut.so.3()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.27)(64bit)
libreadline.so.8()(64bit)
librt.so.1()(64bit)
librt.so.1(GLIBC_2.27)(64bit)
libsaclib.so.2()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(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 21 of 21
Name ascending sort Size
/usr/bin/ADJ2D_plot29.60 KB
/usr/bin/cad2d943.07 KB
/usr/bin/qepcad911.27 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/470.00 B
/usr/lib/.build-id/47/cc15b5a763cac6c20b7eb7a12b8ae28db23a5725.00 B
/usr/lib/.build-id/9c0.00 B
/usr/lib/.build-id/9c/a824469164694cb02ed037efefd8dfbe9202b126.00 B
/usr/lib/.build-id/e40.00 B
/usr/lib/.build-id/e4/5b060993ee78ccfcbc4aa164f0958e1674edb530.00 B
/usr/share/doc/qepcad-B0.00 B
/usr/share/doc/qepcad-B/LOG7.24 KB
/usr/share/licenses/qepcad-B0.00 B
/usr/share/licenses/qepcad-B/LICENSE830.00 B
/usr/share/qepcad0.00 B
/usr/share/qepcad/bin0.00 B
/usr/share/qepcad/bin/ADJ2D_plot19.00 B
/usr/share/qepcad/bin/cad2d14.00 B
/usr/share/qepcad/bin/qepcad15.00 B
/usr/share/qepcad/bin/qepcad.help25.15 KB
/usr/share/qepcad/default.qepcadrc338.00 B
Component of No Buildroots