summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-gap/congruence: new package, add 1.2.5Michael Orlitzky2024-01-221-0/+15