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