boolector-0.0.0.10: dependencies

Dependencies for boolector-0.0.0.10

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