lean-0.0.0.1: dependencies

Dependencies for lean-0.0.0.1

library	base (>=4.7 && <5) base-unicode-symbols text-utf8 transformers util