• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for lean-peano-1.0.2.0

Libraries

lean-peano

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