All Projects

ID Project Task Type Category Severity Summary
 25234  Community Packages Bug Report Packages High  [coq] has to be recompiled after ocaml update 
 58203  Community Packages Bug Report Packages Medium  [coq] library packaging 
 13723  Arch Linux Feature Request Packages: Extra Medium  coq - proof assistant 
 21943  Community Packages Bug Report Packages Low  [coq] incompatible with campl5-6 
 57905  Community Packages Bug Report Packages Very Low  [coq] should optdepend on coin-or-csdp 
Showing tasks 1 - 5 of 5 Page 1 of 1