summaryrefslogtreecommitdiff
path: root/sci-mathematics/metamath
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible17 hours1-2/+2
* Adding metadataroot2026-06-124-0/+62
* Adding metadataroot2026-06-124-62/+0
* Adding metadataroot2026-06-044-0/+62
* Adding metadataroot2026-06-044-63/+0
* Revert "Adding metadata"root2026-06-044-0/+63
* Adding metadataroot2026-06-044-63/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-312-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-292-13/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-292-12/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-031-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-272-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-264-0/+62