Thu, 13 Jun 2024 21:34:55 UTC | login

Information for RPM minisat2-devel-2.2.1-16.fc38.riscv64.rpm

ID983370
Nameminisat2-devel
Version2.2.1
Release16.fc38
Epoch
Archriscv64
SummaryDevelopment files for minisat2
DescriptionThe minisat2-devel package contains libraries and header files for developing applications that use minisat2.
Build Time2023-03-30 15:03:32 GMT
Size29.42 KB
56258310dd2bb9389e9468a1db763f50
LicenseMIT
Buildrootf38-build-702598-89350
Provides
minisat2-devel = 2.2.1-16.fc38
minisat2-devel(riscv-64) = 2.2.1-16.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libminisat.so.2()(64bit)
minisat2-libs(riscv-64) = 2.2.1-16.fc38
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 3 of 3
Buildroot descending sort Created State
f40-build-751842-116206 2023-11-30 15:31:06 expired
f40-build-735214-106192 2023-11-03 09:42:14 expired
f40-build-733651-105273 2023-10-27 17:37:29 expired