Sat, 25 Jan 2025 12:29:49 UTC | login

Information for RPM minisat2-devel-2.2.1-15.fc37.riscv64.rpm

ID874457
Nameminisat2-devel
Version2.2.1
Release15.fc37
Epoch
Archriscv64
SummaryDevelopment files for minisat2
DescriptionThe minisat2-devel package contains libraries and header files for developing applications that use minisat2.
Build Time2022-11-08 12:01:35 GMT
Size29.45 KB
e8e68df59987083669ab41153b65bcb6
LicenseMIT
Buildrootf37-build-668441-74719
Provides
minisat2-devel = 2.2.1-15.fc37
minisat2-devel(riscv-64) = 2.2.1-15.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libminisat.so.2()(64bit)
minisat2-libs(riscv-64) = 2.2.1-15.fc37
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 1 of 1
Buildroot descending sort Created State
f37-build-675248-75944 2022-11-13 11:41:26 expired