File minisat.obsinfo of Package minisat
name: minisat version: 2.2.1+20230206 mtime: 1675714604 commit: 14c78206cd12d1d36b7e042fa758747c135670a4
name: minisat version: 2.2.1+20230206 mtime: 1675714604 commit: 14c78206cd12d1d36b7e042fa758747c135670a4