name: minisat version: 2.2.1+20230206 mtime: 1675714604 commit: 14c78206cd12d1d36b7e042fa758747c135670a4
The Open Build Service is an openSUSE project.
