summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/why3-for-spark: require lablgtk-2Alfredo Tupone24 min.