summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+1
* Adding metadataroot2026-06-121-1/+0
* Adding metadataroot2026-06-041-0/+1
* Adding metadataroot2026-06-041-1/+0
* Revert "Adding metadata"root2026-06-041-0/+1
* Adding metadataroot2026-06-041-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-171-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-271-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-041-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-211-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-271-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-011-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-281-0/+1