summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible11 hours1-2/+2
* Adding metadataroot2026-06-121-0/+36
* Adding metadataroot2026-06-121-36/+0
* Adding metadataroot2026-06-041-0/+36
* Adding metadataroot2026-06-041-36/+0
* Revert "Adding metadata"root2026-06-041-0/+36
* Adding metadataroot2026-06-041-36/+0
* Adding metadataroot2026-05-311-17/+17
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-151-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-101-1/+20
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-18/+17
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-19/+18
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-18/+19
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoPalica2020-06-231-0/+22