smtlib2-timing-1.0: dependencies

Dependencies for smtlib2-timing-1.0

library	base (>=4 && <5) dependent-sum mtl smtlib2 (>=1.0 && <1.1) time