summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć82 min.