Wed, 03 Jul 2024 23:52:52 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 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
Page:
1 through 50 of 80 >>>
Buildroot ascending sort Created State
f33-build-308895-57219 2020-08-15 22:03:53 expired
f33-build-315044-57722 2020-08-16 12:36:19 expired
f33-build-320168-57917 2020-08-16 23:14:48 expired
f33-build-324084-57997 2020-08-17 06:22:34 expired
f33-build-327410-58040 2020-08-17 12:17:18 expired
f33-build-331132-58239 2020-08-23 13:45:57 expired
f33-build-334660-58358 2020-08-23 19:59:11 expired
f33-build-338284-58401 2020-09-01 10:35:48 expired
f33-build-341060-58667 2020-09-05 13:49:10 expired
f33-build-347850-59607 2020-11-28 01:30:48 expired
f33-build-352569-60044 2020-11-28 14:37:59 expired
f33-build-352572-60046 2020-11-28 14:38:24 expired
f33-build-357240-60128 2020-11-28 22:53:19 expired
f33-build-361044-60195 2020-11-29 19:25:39 expired
f33-build-364722-60685 2020-12-02 13:05:10 expired
f33-build-368932-61201 2020-12-03 12:22:38 expired
f33-build-372796-61407 2020-12-04 13:21:18 expired
f33-build-375404-61632 2020-12-24 13:11:34 expired
f33-build-376649-61729 2020-12-24 15:43:55 expired
f33-build-380154-61929 2020-12-25 09:29:50 expired
f33-build-383686-62137 2020-12-26 08:54:11 expired
f33-build-386891-62219 2020-12-27 07:39:42 expired
f33-build-390845-62295 2020-12-28 11:13:22 expired
f33-build-394259-62406 2020-12-30 08:44:39 expired
f33-build-397286-62504 2020-12-30 15:49:20 expired
f33-build-403311-62578 2020-12-31 10:25:55 expired
f33-build-405086-62588 2020-12-31 13:13:13 expired
f33-build-406848-62671 2021-01-05 12:15:56 expired
f33-build-411532-62816 2021-01-06 04:58:34 expired
f33-build-415049-62851 2021-01-06 10:29:29 expired
f33-build-418664-62924 2021-01-08 13:43:33 expired
f33-build-421175-62975 2021-01-08 17:31:33 expired
f33-build-423505-62999 2021-01-09 16:38:41 expired
f33-build-430074-63113 2021-01-10 17:35:49 expired
f33-build-432614-63149 2021-01-11 05:12:49 expired
f33-build-437849-63198 2021-01-11 13:27:57 expired
f33-build-441699-63291 2021-01-12 10:13:02 expired
f33-build-443879-63318 2021-01-12 13:23:59 expired
f33-build-447823-63370 2021-01-13 11:04:04 expired
f33-build-453179-63530 2021-01-16 14:42:31 expired
f33-build-454857-63556 2021-01-16 17:08:00 expired
f33-build-464377-63675 2021-01-17 20:43:47 expired
f33-build-466154-63679 2021-01-17 23:17:50 expired
f33-build-469666-63685 2021-01-18 08:10:16 expired
f33-build-471834-63749 2021-01-19 05:46:33 expired
f33-build-493310-64222 2021-01-27 17:44:45 expired
f33-build-497747-64288 2021-01-28 14:17:15 expired
f33-build-500596-64304 2021-01-29 07:25:51 expired
f33-build-504625-64394 2021-01-31 17:40:08 expired
f33-build-507873-64476 2021-02-01 08:26:08 expired