summaryrefslogtreecommitdiff
path: root/sci-mathematics/eprover
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-125-0/+199
* Adding metadataroot2026-06-125-199/+0
* Adding metadataroot2026-06-045-0/+199
* Adding metadataroot2026-06-045-200/+0
* Revert "Adding metadata"root2026-06-045-0/+200
* Adding metadataroot2026-06-045-200/+0
* Adding metadataroot2026-05-311-14/+15
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-223-67/+79
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-202-0/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-152-0/+77
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-15/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-14/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-051-0/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-043-0/+93