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