name: minisat version: 2.2.1+20200902 mtime: 1599078718 commit: 37158a35c62d448b3feccfa83006266e12e5acb7
The Open Build Service is an openSUSE project.
