summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/alt-ergo: depend only on lablgtk:2Alfredo Tupone4 min.