Dependencies
Provides
- devel(libpicosat)
- devel(libpicosat-trace)
- picosat-devel = 965-1.mga8
- picosat-devel(x86-32) = 965-1.mga8
Requires
- libpicosat1 = 965-1.mga8
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1