summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible9 hours1-2/+2
* Adding metadataroot2026-06-121-0/+40
* Adding metadataroot2026-06-121-40/+0
* Adding metadataroot2026-06-041-0/+40
* Adding metadataroot2026-06-041-38/+0
* Revert "Adding metadata"root2026-06-041-0/+38
* Adding metadataroot2026-06-041-38/+0
* Adding metadataroot2026-05-311-26/+25
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-081-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-181-0/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-121-0/+34