Dependencies
Provides
- picosat = 965-2.mga9
- picosat(aarch-64) = 965-2.mga9
Requires
- gzip
- lib64picosat1 = 965-2.mga9
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libpicosat-trace.so.1()(64bit)
- libpicosat.so.1()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1