summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: rebuild on chez/racket slot changeMaciej Barć2022-05-053-7/+7
* dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)Maciej Barć2022-02-272-0/+106
* 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