Dependencies for minisat-0.1.4

Libraries

minisat

async (>=2.0.0.0)
base (>=3 && <5)
if impl(ghc>=9.4)
- system-cxx-std-lib (==1.0)