All Projects

ID  desc Project Task Type Category Severity Summary
 57069  Community Packages Bug Report Packages High  [maude] needs rebuild after cvc4 1.5-1 update 
Showing tasks 1 - 1 of 1 Page 1 of 1