cffi==1.15.0 colorama==0.4.3 coloredlogs==14.0 docopt==0.6.2 hypothesis==5.6.0 terminaltables==3.1.0