All Projects

ID  desc Project Task Type Category Severity Summary
 65264  Community Packages Bug Report Packages: Testing High  [idris] Not built against the latest haskell libraries  ...
 58922  Community Packages Bug Report Packages Low  [idris] Documentation installed w/ 600 permissions 
 50161  Community Packages Feature Request Packages Low  [idris] Idris builds on GHC 8 now. 
Showing tasks 1 - 3 of 3 Page 1 of 1