summaryrefslogtreecommitdiff
path: root/sci-mathematics/kind2
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot15 hours1-15/+16
* Adding metadataroot20 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-043-0/+64