homepage: ''
changelog-type: ''
hash: 1ab39be6c6cdbf35f6c98f64ddb39bf078e77814c0e086d73a14ff2e703a8942
test-bench-deps: {}
maintainer: ''
synopsis: A Haskell bundle of the Minisat SAT solver
changelog: ''
basic-deps:
  base: ! '>=3 && <5'
  async: -any
all-versions:
- '0.1'
- 0.1.1
- 0.1.2
author: ''
latest: 0.1.2
description-type: haddock
description: ''
license-name: BSD-3-Clause

homepage: ''
changelog-type: ''
hash: 3654d6c19268c2ad1e5e15314e399ce153214ffd3da2404e1efacfa5297dc6c7
test-bench-deps: {}
maintainer: ''
synopsis: A Haskell bundle of the Minisat SAT solver
changelog: ''
basic-deps:
  base: '>=3 && <5'
  async: -any
all-versions:
- '0.1'
- 0.1.1
- 0.1.2
- 0.1.3
author: ''
latest: 0.1.3
description-type: haddock
description: ''
license-name: BSD-3-Clause

Update from Hackage at 2021-02-23T19:39:05Z
Update from Hackage at 2021-02-23T19:39:05Z
