Mon, 01 Jul 2024 22:22:44 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 descending sort Created State
f37-build-650698-72752 2022-10-16 18:09:20 expired
f37-build-640724-71590 2022-09-30 08:05:30 expired
f33-build-631085-67618 2021-05-07 19:09:09 expired
f33-build-626408-67606 2021-05-07 12:55:38 expired
f33-build-622737-67538 2021-05-07 07:52:41 expired
f33-build-617653-67416 2021-05-03 04:33:16 expired
f33-build-615384-67407 2021-05-02 17:00:36 expired
f33-build-607358-67357 2021-05-02 06:08:30 expired
f33-build-599897-67134 2021-04-26 14:43:13 expired
f33-build-589574-66827 2021-04-24 16:18:07 expired
f33-build-587695-66781 2021-04-24 13:31:45 expired
f33-build-583537-66539 2021-04-24 06:58:37 expired
f33-build-582942-66461 2021-04-24 06:04:05 expired
f33-build-579519-66199 2021-04-19 10:30:22 expired
f33-build-575136-66019 2021-04-19 04:28:01 expired
f33-build-568707-65941 2021-04-09 13:36:34 expired
f33-build-563172-65882 2021-04-09 06:12:07 expired
f33-build-560711-65790 2021-04-08 22:34:50 expired
f33-build-555517-65379 2021-04-08 14:30:31 expired
f33-build-553288-65336 2021-03-02 22:38:19 expired
f33-build-551773-65322 2021-03-02 20:24:51 expired
f33-build-545341-65234 2021-03-02 11:06:34 expired
f33-build-539647-65068 2021-02-27 19:48:32 expired
f33-build-533635-64786 2021-02-27 09:57:04 expired
f33-build-528746-64711 2021-02-08 06:48:30 expired
f33-build-520721-64567 2021-02-03 09:19:15 expired
f33-build-518433-64546 2021-02-03 05:59:24 expired
f33-build-513874-64522 2021-02-02 09:21:58 expired
f33-build-512674-64514 2021-02-02 07:46:17 expired
f33-build-510514-64504 2021-02-01 12:27:59 expired
f33-build-507873-64476 2021-02-01 08:26:08 expired
f33-build-504625-64394 2021-01-31 17:40:08 expired
f33-build-500596-64304 2021-01-29 07:25:51 expired
f33-build-497747-64288 2021-01-28 14:17:15 expired
f33-build-493310-64222 2021-01-27 17:44:45 expired
f33-build-471834-63749 2021-01-19 05:46:33 expired
f33-build-469666-63685 2021-01-18 08:10:16 expired
f33-build-466154-63679 2021-01-17 23:17:50 expired
f33-build-464377-63675 2021-01-17 20:43:47 expired
f33-build-454857-63556 2021-01-16 17:08:00 expired
f33-build-453179-63530 2021-01-16 14:42:31 expired
f33-build-447823-63370 2021-01-13 11:04:04 expired
f33-build-443879-63318 2021-01-12 13:23:59 expired
f33-build-441699-63291 2021-01-12 10:13:02 expired
f33-build-437849-63198 2021-01-11 13:27:57 expired
f33-build-432614-63149 2021-01-11 05:12:49 expired
f33-build-430074-63113 2021-01-10 17:35:49 expired
f33-build-423505-62999 2021-01-09 16:38:41 expired
f33-build-421175-62975 2021-01-08 17:31:33 expired
f33-build-418664-62924 2021-01-08 13:43:33 expired