summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot11 hours1-17/+20
* Adding metadataroot15 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-111-5/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-07-101-20/+44
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-172-105/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-273-0/+146
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-043-212/+0
* 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]2023-02-143-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-032-8/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-012-12/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-212-14/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-063-7/+7
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-272-0/+106
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-012-0/+105
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-2/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-283-0/+132