Thu, 05 Dec 2024 03:17:53 UTC | login

Information for RPM cadical-libs-1:1.3.0-1.fc33.riscv64.rpm

ID705710
Namecadical-libs
Version1.3.0
Release1.fc33
Epoch1
Archriscv64
SummarySimplified SAT solver library
DescriptionThis package contains the CaDiCaL simplified Satisfiability solver as a library, for use in applications that need a SAT solver.
Build Time2020-08-15 13:02:27 GMT
Size262.25 KB
67ce9695555a366de2240be21ad6da3f
LicenseMIT
Buildrootf33-build-302875-57051
Provides
cadical-libs = 1:1.3.0-1.fc33
cadical-libs(riscv-64) = 1:1.3.0-1.fc33
libcadical.so.0()(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)
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.3.1)(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.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(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 10 of 10
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/750.00 B
/usr/lib/.build-id/75/80e7a39c78b910746db5ea51eb0769e6e3dcfb41.00 B
/usr/lib64/libcadical.so.019.00 B
/usr/lib64/libcadical.so.0.0.0572.30 KB
/usr/share/doc/cadical-libs0.00 B
/usr/share/doc/cadical-libs/CONTRIBUTING235.00 B
/usr/share/doc/cadical-libs/README.md1.56 KB
/usr/share/licenses/cadical-libs0.00 B
/usr/share/licenses/cadical-libs/LICENSE1.16 KB
Component of
Page:
1 through 50 of 51 >>>
Buildroot descending sort Created State
f37-build-658204-73355 2022-10-26 13:49:26 expired
f33-build-621801-67514 2021-05-07 06:34:15 expired
f33-build-617790-67418 2021-05-03 04:45:17 expired
f33-build-605282-67314 2021-05-02 03:38:15 expired
f33-build-602938-67236 2021-05-01 17:27:53 expired
f33-build-602724-67204 2021-04-27 08:53:55 expired
f33-build-598612-67114 2021-04-26 11:31:48 expired
f33-build-594688-66893 2021-04-24 23:44:53 expired
f33-build-591113-66865 2021-04-24 18:36:49 expired
f33-build-585600-66647 2021-04-24 10:07:49 expired
f33-build-543820-65193 2021-03-02 09:04:48 expired
f33-build-539716-65072 2021-02-27 19:54:44 expired
f33-build-536173-64951 2021-02-27 14:05:13 expired
f33-build-529226-64717 2021-02-08 07:30:09 expired
f33-build-525395-64622 2021-02-07 16:48:56 expired
f33-build-522382-64576 2021-02-03 12:00:18 expired
f33-build-518949-64552 2021-02-03 06:43:59 expired
f33-build-517700-64544 2021-02-02 15:02:47 expired
f33-build-513224-64516 2021-02-02 08:30:34 expired
f33-build-509350-64490 2021-02-01 10:35:50 expired
f33-build-503969-64367 2021-01-31 16:43:36 expired
f33-build-496485-64280 2021-01-28 12:30:54 expired
f33-build-491602-64166 2021-01-27 14:53:38 expired
f33-build-475475-63826 2021-01-19 10:48:35 expired
f33-build-470268-63706 2021-01-18 08:58:18 expired
f33-build-462926-63671 2021-01-17 18:38:01 expired
f33-build-450711-63417 2021-01-16 10:58:11 expired
f33-build-446865-63358 2021-01-13 09:48:03 expired
f33-build-443389-63310 2021-01-12 12:41:23 expired
f33-build-438698-63202 2021-01-11 14:48:22 expired
f33-build-429160-63105 2021-01-10 16:21:15 expired
f33-build-423272-62997 2021-01-09 16:20:42 expired
f33-build-422114-62985 2021-01-08 19:03:58 expired
f33-build-417681-62891 2021-01-08 12:22:12 expired
f33-build-411955-62818 2021-01-06 05:40:50 expired
f33-build-406751-62667 2021-01-05 12:07:24 expired
f33-build-402680-62572 2020-12-31 09:25:22 expired
f33-build-399766-62540 2020-12-31 05:08:15 expired
f33-build-394773-62432 2020-12-30 12:14:16 expired
f33-build-390383-62291 2020-12-28 10:06:32 expired
f33-build-387237-62225 2020-12-27 16:09:10 expired
f33-build-386375-62195 2020-12-26 15:24:19 expired
f33-build-381731-62004 2020-12-25 13:15:34 expired
f33-build-375894-61670 2020-12-24 14:12:49 expired
f33-build-372720-61407 2020-12-04 13:06:58 expired
f33-build-368391-61122 2020-12-03 10:58:54 expired
f33-build-366213-60782 2020-12-02 16:25:34 expired
f33-build-359986-60193 2020-11-29 17:45:23 expired
f33-build-356330-60120 2020-11-28 21:02:40 expired
f33-build-351218-59992 2020-11-28 12:02:01 expired