summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot34 hours1-17/+20
* Adding metadataroot38 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-20/+17
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-17/+20
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-2/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-281-0/+26