Tue, 02 Jul 2024 01:14:14 UTC | login

Information for RPM minisat2-devel-2.2.1-5.fc29.riscv64.rpm

ID100996
Nameminisat2-devel
Version2.2.1
Release5.fc29
Epoch
Archriscv64
SummaryDevelopment files for minisat2
DescriptionThe minisat2-devel package contains libraries and header files for developing applications that use minisat2.
Build Time2018-06-05 23:04:50 GMT
Size33.83 KB
4de8ce62f92601cd5e3710f54028773d
LicenseMIT
Buildrootf29-build-8006-2047
Provides
minisat2-devel = 2.2.1-5.fc29
minisat2-devel(riscv-64) = 2.2.1-5.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libminisat.so.2()(64bit)
minisat2-libs(riscv-64) = 2.2.1-5.fc29
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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 7 of 7
Buildroot descending sort Created State
f29-build-23163-11873 2018-08-06 16:21:31 expired
f29-build-22130-11474 2018-08-02 18:27:49 expired
f29-build-19344-10311 2018-07-24 05:53:17 expired
f29-build-15698-7438 2018-07-01 21:34:45 expired
f29-build-15298-7037 2018-06-29 08:35:31 expired
f29-build-11847-5452 2018-06-16 02:04:16 expired
f29-build-11719-5358 2018-06-15 07:26:57 expired