summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: rebuild on chez/racket slot changeMaciej Barć2022-05-051-0/+105