File minisat.obsinfo of Package minisat
name: minisat version: 2.2.1+20200902 mtime: 1599078718 commit: 37158a35c62d448b3feccfa83006266e12e5acb7
name: minisat version: 2.2.1+20200902 mtime: 1599078718 commit: 37158a35c62d448b3feccfa83006266e12e5acb7