ID 1267212
Name minisat2-debuginfo
Version 2.2.1
Release 19.fc40
Epoch
Arch riscv64
Summary
Description
Build Time 2024-03-28 13:29:24 GMT
Size 43.39 KB
SIGMD5 824967fd924436c75611d7b02e4007e3
License MIT
Buildroot f40-build-799653-142442
Provides
debuginfo(build-id) = 9c890dde29f660c846b824260d8fa5d3fda53d7b
minisat2-debuginfo = 2.2.1-19.fc40
minisat2-debuginfo(riscv-64) = 2.2.1-19.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
minisat2-debugsource(riscv-64) = 2.2.1-19.fc40
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots