lean-peano-0.1.0.1: dependencies

Dependencies for lean-peano-0.1.0.1

library	base (>=4.7 && <5) deepseq