boolector-0.0.0.13: dependencies

Dependencies for boolector-0.0.0.13

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