Sat, 06 Jul 2024 02:57:26 UTC | login

Information for RPM minisat2-devel-2.2.1-17.fc40.riscv64.rpm

ID1144037
Nameminisat2-devel
Version2.2.1
Release17.fc40
Epoch
Archriscv64
SummaryDevelopment files for minisat2
DescriptionThe minisat2-devel package contains libraries and header files for developing applications that use minisat2.
Build Time2023-12-09 19:17:58 GMT
Size29.44 KB
5139bc6fe805d585ec7a86e0518ccedc
LicenseMIT
Buildrootf40-build-759290-120367
Provides
minisat2-devel = 2.2.1-17.fc40
minisat2-devel(riscv-64) = 2.2.1-17.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libminisat.so.2()(64bit)
minisat2-libs(riscv-64) = 2.2.1-17.fc40
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
zlib-devel(riscv-64)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 22 of 22
Name ascending sort Size
/usr/include/minisat0.00 B
/usr/include/minisat/core0.00 B
/usr/include/minisat/core/Dimacs.h3.23 KB
/usr/include/minisat/core/Solver.h21.57 KB
/usr/include/minisat/core/SolverTypes.h15.24 KB
/usr/include/minisat/mtl0.00 B
/usr/include/minisat/mtl/Alg.h2.76 KB
/usr/include/minisat/mtl/Alloc.h4.30 KB
/usr/include/minisat/mtl/Heap.h4.56 KB
/usr/include/minisat/mtl/IntTypes.h1.72 KB
/usr/include/minisat/mtl/Map.h6.55 KB
/usr/include/minisat/mtl/Queue.h2.94 KB
/usr/include/minisat/mtl/Sort.h3.21 KB
/usr/include/minisat/mtl/Vec.h5.37 KB
/usr/include/minisat/mtl/XAlloc.h1.88 KB
/usr/include/minisat/simp0.00 B
/usr/include/minisat/simp/SimpSolver.h9.52 KB
/usr/include/minisat/utils0.00 B
/usr/include/minisat/utils/Options.h11.89 KB
/usr/include/minisat/utils/ParseUtils.h3.95 KB
/usr/include/minisat/utils/System.h2.37 KB
/usr/lib64/libminisat.so15.00 B
Component of
1 through 5 of 5
Buildroot descending sort Created State
f40-build-798343-141884 2024-03-27 10:33:47 expired
f40-build-793306-138800 2024-03-20 07:53:31 expired
f40-build-782922-132275 2024-02-28 07:50:21 expired
f40-build-773515-127206 2024-01-10 17:50:32 expired
f40-build-764419-122902 2023-12-18 14:28:54 expired