summaryrefslogtreecommitdiff
path: root/dev-ml/camlp5/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+3
* Adding metadataroot2026-06-121-3/+0
* Adding metadataroot2026-06-041-0/+3
* Adding metadataroot2026-06-041-3/+0
* Revert "Adding metadata"root2026-06-041-0/+3
* Adding metadataroot2026-06-041-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-12-111-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-07-191-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-06-071-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-161-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-07-101-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-07-021-8/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-081-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-061-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-191-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-281-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-051-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-10-061-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-06-101-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-251-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2020-12-291-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2020-11-101-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-131-0/+1
* Updating liguros repoPalica2020-06-231-0/+1