summaryrefslogtreecommitdiff
path: root/sci-mathematics/vampire
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible8 hours1-2/+2
* Adding metadataroot2026-07-072-67/+0
* Adding metadataroot2026-06-124-0/+159
* Adding metadataroot2026-06-124-159/+0
* Adding metadataroot2026-06-044-0/+159
* Adding metadataroot2026-06-044-159/+0
* Revert "Adding metadata"root2026-06-044-0/+159
* Adding metadataroot2026-06-044-159/+0
* Adding metadataroot2026-05-311-14/+15
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-163-64/+67
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-01-183-60/+67
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-012-0/+64
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-223-104/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-152-14/+14
* 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-02-073-5/+49
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-232-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-072-2/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-243-2/+60
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-123-0/+78