lean-peano-1.0.0.0: dependencies

Dependencies for lean-peano-1.0.0.0

library	base (>=4.10.0.0 && <5) deepseq (>=1.1.0.0)