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

Dependencies for lean-0.0.0.1

Libraries

lean

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