Wed, 31 Jul 2024 21:47:49 UTC | login

Information for RPM minisat2-devel-2.2.1-11.fc33.riscv64.rpm

ID687292
Nameminisat2-devel
Version2.2.1
Release11.fc33
Epoch
Archriscv64
SummaryDevelopment files for minisat2
DescriptionThe minisat2-devel package contains libraries and header files for developing applications that use minisat2.
Build Time2020-08-14 11:40:43 GMT
Size29.36 KB
085587956561138ab3db7de64a4c235f
LicenseMIT
Buildrootf33-build-295108-55427
Provides
minisat2-devel = 2.2.1-11.fc33
minisat2-devel(riscv-64) = 2.2.1-11.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libminisat.so.2()(64bit)
minisat2-libs(riscv-64) = 2.2.1-11.fc33
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 descending sort Size
/usr/lib64/libminisat.so15.00 B
/usr/include/minisat/utils/System.h2.37 KB
/usr/include/minisat/utils/ParseUtils.h3.95 KB
/usr/include/minisat/utils/Options.h11.89 KB
/usr/include/minisat/utils0.00 B
/usr/include/minisat/simp/SimpSolver.h9.52 KB
/usr/include/minisat/simp0.00 B
/usr/include/minisat/mtl/XAlloc.h1.88 KB
/usr/include/minisat/mtl/Vec.h5.37 KB
/usr/include/minisat/mtl/Sort.h3.21 KB
/usr/include/minisat/mtl/Queue.h2.94 KB
/usr/include/minisat/mtl/Map.h6.55 KB
/usr/include/minisat/mtl/IntTypes.h1.72 KB
/usr/include/minisat/mtl/Heap.h4.56 KB
/usr/include/minisat/mtl/Alloc.h4.30 KB
/usr/include/minisat/mtl/Alg.h2.76 KB
/usr/include/minisat/mtl0.00 B
/usr/include/minisat/core/SolverTypes.h15.24 KB
/usr/include/minisat/core/Solver.h21.57 KB
/usr/include/minisat/core/Dimacs.h3.23 KB
/usr/include/minisat/core0.00 B
/usr/include/minisat0.00 B
Component of
Page:
<<< 51 through 80 of 80
Buildroot descending sort Created State
f33-build-415049-62851 2021-01-06 10:29:29 expired
f33-build-411532-62816 2021-01-06 04:58:34 expired
f33-build-406848-62671 2021-01-05 12:15:56 expired
f33-build-405086-62588 2020-12-31 13:13:13 expired
f33-build-403311-62578 2020-12-31 10:25:55 expired
f33-build-397286-62504 2020-12-30 15:49:20 expired
f33-build-394259-62406 2020-12-30 08:44:39 expired
f33-build-390845-62295 2020-12-28 11:13:22 expired
f33-build-386891-62219 2020-12-27 07:39:42 expired
f33-build-383686-62137 2020-12-26 08:54:11 expired
f33-build-380154-61929 2020-12-25 09:29:50 expired
f33-build-376649-61729 2020-12-24 15:43:55 expired
f33-build-375404-61632 2020-12-24 13:11:34 expired
f33-build-372796-61407 2020-12-04 13:21:18 expired
f33-build-368932-61201 2020-12-03 12:22:38 expired
f33-build-364722-60685 2020-12-02 13:05:10 expired
f33-build-361044-60195 2020-11-29 19:25:39 expired
f33-build-357240-60128 2020-11-28 22:53:19 expired
f33-build-352572-60046 2020-11-28 14:38:24 expired
f33-build-352569-60044 2020-11-28 14:37:59 expired
f33-build-347850-59607 2020-11-28 01:30:48 expired
f33-build-341060-58667 2020-09-05 13:49:10 expired
f33-build-338284-58401 2020-09-01 10:35:48 expired
f33-build-334660-58358 2020-08-23 19:59:11 expired
f33-build-331132-58239 2020-08-23 13:45:57 expired
f33-build-327410-58040 2020-08-17 12:17:18 expired
f33-build-324084-57997 2020-08-17 06:22:34 expired
f33-build-320168-57917 2020-08-16 23:14:48 expired
f33-build-315044-57722 2020-08-16 12:36:19 expired
f33-build-308895-57219 2020-08-15 22:03:53 expired