summaryrefslogtreecommitdiff
path: root/sci-mathematics/vampire/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot26 hours1-14/+15
* Adding metadataroot30 hours1-1/+1
* 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]2021-12-281-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-121-0/+24