mtime: 1744870489 commit: 5101e7ad292d7c3491180ffd780686b8b6904e5c55e69dd53416fbe43541cce9 url: https://src.opensuse.org/jirislaby/d-t-s-minisat
The Open Build Service is an openSUSE project.
