ID 983369
Name minisat2-libs-debuginfo
Version 2.2.1
Release 16.fc38
Epoch
Arch riscv64
Summary
Description
Build Time 2023-03-30 15:03:32 GMT
Size 134.04 KB
SIGMD5 403a28118dacea14fafb9c584b49d060
License MIT
Buildroot f38-build-702598-89350
Provides
debuginfo(build-id) = 6bc2bfbdbc625ae36e1c55d9d49f29fdf653f661
libminisat.so.2.1.0-2.2.1-16.fc38.riscv64.debug()(64bit)
minisat2-libs-debuginfo = 2.2.1-16.fc38
minisat2-libs-debuginfo(riscv-64) = 2.2.1-16.fc38
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
minisat2-debuginfo(riscv-64) = 2.2.1-16.fc38
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-16.fc38
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots