Tue, 28 May 2024 01:06:48 UTC | login

Information for RPM breakid-3.1.2-1.fc40.riscv64.rpm

ID1209075
Namebreakid
Version3.1.2
Release1.fc40
Epoch
Archriscv64
SummarySymmetry detecting and breaking library
DescriptionBreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos.
Build Time2024-02-23 13:33:48 GMT
Size123.58 KB
5a9ca3a9aa3262fd8e7ec2548ae4192b
LicenseMIT
Buildrootf40-build-780577-131322
Provides
breakid = 3.1.2-1.fc40
breakid(riscv-64) = 3.1.2-1.fc40
libbreakid.so.3.1()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libbliss.so.2()(64bit)
libbreakid.so.3.1()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(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.14)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(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.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(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 12 of 12
Name ascending sort Size
/usr/bin/breakid132.90 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/0b0.00 B
/usr/lib/.build-id/0b/4a03152cf32d1fa74cebfd9cc672383dc90bad39.00 B
/usr/lib/.build-id/790.00 B
/usr/lib/.build-id/79/13e3d6506f1d91ba0fe01c29a78a180323013827.00 B
/usr/lib64/libbreakid.so.3.1152.87 KB
/usr/share/doc/breakid0.00 B
/usr/share/doc/breakid/README.md1.98 KB
/usr/share/licenses/breakid0.00 B
/usr/share/licenses/breakid/LICENSE98.00 B
/usr/share/man/man1/breakid.1.gz772.00 B
Component of
1 through 6 of 6
Buildroot descending sort Created State
f40-build-805569-144785 2024-04-14 13:00:27 expired
f40-build-804364-144465 2024-04-13 05:56:59 expired
f40-build-799934-142599 2024-03-28 19:53:28 expired
f40-build-797324-141191 2024-03-24 21:37:53 expired
f40-build-782922-132275 2024-02-28 07:50:21 expired
f40-build-781344-131566 2024-02-25 17:16:36 expired