summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: bump to 0.5.1_p20220131Maciej Barć2022-02-012-0/+105
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* 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