summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible6 hours1-2/+2
* Adding metadataroot2026-06-121-0/+21
* Adding metadataroot2026-06-121-21/+0
* Adding metadataroot2026-06-041-0/+21
* Adding metadataroot2026-06-041-22/+0
* Revert "Adding metadata"root2026-06-041-0/+22
* Adding metadataroot2026-06-041-22/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-031-2/+7
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-231-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-271-0/+19