boolector-0.0.0.12: dependencies

Dependencies for boolector-0.0.0.12

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