summaryrefslogtreecommitdiff
path: root/sci-mathematics/kind2/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot7 days1-0/+27
* Adding metadataroot7 days1-28/+0
* Revert "Adding metadata"root7 days1-0/+28
* Adding metadataroot7 days1-28/+0
* Adding metadataroot10 days1-15/+16
* Adding metadataroot11 days1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-041-0/+27