boolector-0.0.0.11: dependencies

Dependencies for boolector-0.0.0.11

library	base (>=4.7 && <5) containers directory mtl temporary time if impl(ghc<8.0) fail (==4.9.0.0)