summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
Commit message (Collapse)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible19 hours1-2/+2
|
* Adding metadataroot2026-06-124-0/+211
|
* Adding metadataroot2026-06-124-211/+0
|
* Adding metadataroot2026-06-044-0/+211
|
* Adding metadataroot2026-06-044-210/+0
|
* Revert "Adding metadata"root2026-06-044-0/+210
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-044-210/+0
|
* Adding metadataroot2026-05-311-17/+20
|
* Adding metadataroot2026-05-311-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