summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: minor metadata changes; add changelogMaciej Barć2021-12-271-2/+5
* dev-lang/idris2: fix remote-idMaciej Barć2021-11-271-1/+1
* dev-lang/idris2: use dodoc instead of insintoMaciej Barć2021-11-271-4/+1
* dev-lang/idris2: new package; add version 0.5.1_p20211112Maciej Barć2021-11-273-0/+136