summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-stdlib/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot15 hours1-11/+12
* Adding metadataroot19 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-171-0/+13