Click here to visit the old openkoji buildsystem (Archived)

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

ID79422
Buildbreakid-3.1.2-2.fc40
Namebreakid
Version3.1.2
Release2.fc40
Epoch
Archriscv64
DraftFalse
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-05-02 16:22:51 GMT
Size124.00 KB
35e336d5e5243c3e6efa51fc25ac03a0
LicenseMIT
Buildrootf40-build-58068-3333
Provides
breakid = 3.1.2-2.fc40
breakid(riscv-64) = 3.1.2-2.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/breakid130.89 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/6f0.00 B
/usr/lib/.build-id/6f/fd8f72fabb158c503f9221d907a806270c5c4d27.00 B
/usr/lib/.build-id/dd0.00 B
/usr/lib/.build-id/dd/99977157bac1be7cc8d4a80179ccbc91df83f939.00 B
/usr/lib64/libbreakid.so.3.1150.73 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.gz766.00 B
Component of
Page:
1 through 50 of 87 >>>
Buildroot descending sort Created State
f40-build-1969205-25220 2024-08-08 17:30:23 expired
f40-build-1956651-25196 2024-08-08 03:38:14 expired
f40-build-1942922-25164 2024-08-07 13:25:06 expired
f40-build-1925709-25102 2024-08-05 21:58:07 expired
f40-build-1912095-25081 2024-08-05 07:00:02 expired
f40-build-1898212-25065 2024-08-04 14:35:04 expired
f40-build-1885033-25049 2024-08-04 00:36:39 expired
f40-build-1872525-25019 2024-08-03 11:21:28 expired
f40-build-1860512-24995 2024-08-02 22:40:09 expired
f40-build-1848169-24973 2024-08-02 08:26:46 expired
f40-build-1836054-24951 2024-08-01 19:28:58 expired
f40-build-1809330-24887 2024-07-31 13:51:39 expired
f40-build-1795733-24871 2024-07-30 21:18:24 expired
f40-build-1782654-24818 2024-07-30 06:47:59 expired
f40-build-1769166-24748 2024-07-29 15:30:22 expired
f40-build-1752364-24697 2024-07-28 20:46:26 expired
f40-build-1735131-24669 2024-07-28 01:56:45 expired
f40-build-1713179-24613 2024-07-27 01:43:10 expired
f40-build-1687758-24269 2024-07-20 20:20:23 expired
f40-build-1666094-24224 2024-07-19 18:49:15 expired
f40-build-1625995-24112 2024-07-18 03:20:14 expired
f40-build-1613959-24071 2024-07-17 16:15:04 expired
f40-build-1601995-24050 2024-07-17 04:55:42 expired
f40-build-1589804-24041 2024-07-16 17:33:40 expired
f40-build-1577278-24021 2024-07-16 05:34:36 expired
f40-build-1564929-23994 2024-07-15 17:26:51 expired
f40-build-1540710-23931 2024-07-14 13:50:51 expired
f40-build-1527080-23923 2024-07-13 18:37:23 expired
f40-build-1513467-23909 2024-07-13 02:15:09 expired
f40-build-1498759-23871 2024-07-12 08:24:22 expired
f40-build-1487107-23843 2024-07-11 20:55:18 expired
f40-build-1474284-23784 2024-07-11 08:00:50 expired
f40-build-1455475-23577 2024-07-10 05:44:52 expired
f40-build-1444185-23577 2024-07-09 12:20:03 expired
f40-build-1432220-23572 2024-07-08 20:59:08 expired
f40-build-1419436-23564 2024-07-08 06:28:47 expired
f40-build-1406336-23562 2024-07-07 15:11:39 expired
f40-build-1393704-23557 2024-07-07 00:47:15 expired
f40-build-1380818-23557 2024-07-06 09:57:52 expired
f40-build-1368746-23555 2024-07-05 20:02:24 expired
f40-build-1355903-23555 2024-07-05 05:25:57 expired
f40-build-1343349-23552 2024-07-04 15:11:23 expired
f40-build-1330285-23548 2024-07-04 00:15:30 expired
f40-build-1311113-23502 2024-07-03 01:51:47 expired
f40-build-1293186-23380 2024-07-02 04:14:55 expired
f40-build-1248437-22956 2024-06-29 18:09:54 expired
f40-build-1210301-22546 2024-06-27 16:20:42 expired
f40-build-1195417-22272 2024-06-26 20:14:55 expired
f40-build-1187988-22146 2024-06-26 09:16:05 expired
f40-build-1166945-21653 2024-06-25 01:53:11 expired