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

Candidates for idris

• 0.9.9.3
• 0.9.10
• 0.9.17
• 0.9.17.1
• 0.9.18
• 0.9.18.1
• 0.9.19
• 0.9.19.1
• 0.9.20
• 0.9.20.1
• 0.10
• 0.10.1
• 0.10.2
• 0.10.3
• 0.11
• 0.11.2
• 0.12
• 0.12.2
• 0.12.3
• 0.99
• 0.99.1
• 0.99.2
• 1.0
• 1.0.1
• 1.1.0
• 1.1.1
• 1.2.0
• 1.3.0
• 1.3.1
• 1.3.2