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