Tue, 11 Mar 2025 05:14:13 UTC | login

Information for RPM picosat-libs-965-20.fc40.riscv64.rpm

ID1254269
Namepicosat-libs
Version965
Release20.fc40
Epoch
Archriscv64
SummaryA SAT solver library
DescriptionThe PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
Build Time2024-03-20 07:17:59 GMT
Size71.18 KB
7fcbe5a940dc7eab58e4b1f03a898114
LicenseMIT
Buildrootf40-build-793247-138786
Provides
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs = 965-20.fc40
picosat-libs(riscv-64) = 965-20.fc40
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)
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 13 of 13
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/780.00 B
/usr/lib/.build-id/78/55729c81467fc9fd09d5e8f6cf998f1c2b477e49.00 B
/usr/lib/.build-id/c20.00 B
/usr/lib/.build-id/c2/5e3b0caf208c6612c07d6c0f7ff17c753220b443.00 B
/usr/lib64/libpicosat-trace.so.027.00 B
/usr/lib64/libpicosat-trace.so.0.0.96572.29 KB
/usr/lib64/libpicosat.so.021.00 B
/usr/lib64/libpicosat.so.0.0.96572.23 KB
/usr/share/doc/picosat-libs0.00 B
/usr/share/doc/picosat-libs/NEWS4.56 KB
/usr/share/licenses/picosat-libs0.00 B
/usr/share/licenses/picosat-libs/LICENSE1.07 KB
Component of
1 through 14 of 14
Buildroot descending sort Created State
f41-build-832401-157282 2024-08-08 06:07:57 expired
f41-build-830922-156738 2024-08-06 18:08:16 expired
f41-build-822503-153111 2024-07-26 14:32:09 expired
f41-build-815247-149440 2024-07-14 08:13:49 expired
f41-build-815046-149384 2024-07-14 04:27:52 expired
f41-build-814669-148979 2024-07-13 05:57:22 expired
f41-build-813615-148684 2024-07-11 16:30:56 expired
f41-build-813605-148684 2024-07-11 16:08:07 expired
f41-build-812908-148435 2024-07-10 18:26:05 expired
f40-build-806540-145129 2024-04-16 06:05:22 expired
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