summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/coq: Stabilize 8.19.0 amd64, #925657Sam James7 min.