summaryrefslogtreecommitdiff
path: root/sci-mathematics/vampire/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-07-071-1/+0
* Adding metadataroot2026-06-121-0/+2
* Adding metadataroot2026-06-121-2/+0
* Adding metadataroot2026-06-041-0/+2
* Adding metadataroot2026-06-041-2/+0
* Revert "Adding metadata"root2026-06-041-0/+2
* Adding metadataroot2026-06-041-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-161-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-01-181-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-011-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-221-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-07-151-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-241-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-121-0/+1