Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM minisat2-debugsource-2.2.1-17.fc40.riscv64.rpm

ID	1144034
Name	minisat2-debugsource
Version	2.2.1
Release	17.fc40
Epoch
Arch	riscv64
Summary	Debug sources for package minisat2
Description	This package provides debug sources for package minisat2. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time	2023-12-09 19:17:58 GMT
Size	43.09 KB
SIGMD5	dc7b040f62b9f0cbbe5be3065f3f1be8
License	MIT
Buildroot	f40-build-759290-120367
Provides	minisat2-debugsource = 2.2.1-17.fc40 minisat2-debugsource(riscv-64) = 2.2.1-17.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 26 of 26 Name Size /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/core 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/core/Dimacs.h 3.23 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/core/Solver.cc 30.08 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/core/Solver.h 21.57 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/core/SolverTypes.h 15.24 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Alg.h 2.76 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Alloc.h 4.30 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Heap.h 4.56 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Map.h 6.55 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Queue.h 2.94 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Sort.h 3.21 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/Vec.h 5.37 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/mtl/XAlloc.h 1.88 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/simp 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/simp/Main.cc 9.34 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/simp/SimpSolver.cc 21.41 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/simp/SimpSolver.h 9.52 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils 0.00 B /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils/Options.cc 3.74 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils/Options.h 11.89 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils/ParseUtils.h 3.95 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils/System.cc 3.06 KB /usr/src/debug/minisat2-2.2.1-17.fc40.riscv64/minisat/utils/System.h 2.37 KB
Component of	No Buildroots