All Projects

ID  desc Project Task Type Category Severity Summary
 78119  Community Packages Bug Report Packages Low  [agda-stdlib] 1.7.2-1 warnings overload 
 67470  Community Packages Bug Report Packages Low  [agda] Dependency for ghc missing 
 67354  Community Packages Bug Report Packages High  [agda-stdlib] library files not usable 
 66149  Community Packages Bug Report Packages Low  [agda] agda-mode locate prints nothing 
 65489  Community Packages Bug Report Packages High  [agda] Fails to check a file 
 64686  Community Packages Bug Report Packages Low  [agda-stdlib] builds HTML but does not ship it 
 64685  Community Packages Bug Report Packages Low  [agda-stdlib] should not install Everything.agda 
 62436  Community Packages Feature Request Packages Medium  [agda] Fix build and update to 2.6.0 
 62427  Community Packages Bug Report Packages Medium  [agda-stdlib] Fails to build with latest agda 
 56637  Community Packages Bug Report Packages Low  [agda-stdlib] Cannot be used as a dependency with the A ...
Showing tasks 1 - 10 of 10 Page 1 of 1