summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-stdlib/Manifest
Commit message (Expand)AuthorAgeFilesLines
* 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-02-181-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-171-0/+1