summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc4/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible14 hours1-2/+2
* Adding metadataroot2026-06-121-0/+21
* Adding metadataroot2026-06-121-21/+0
* Adding metadataroot2026-06-041-0/+21
* Adding metadataroot2026-06-041-22/+0
* Revert "Adding metadata"root2026-06-041-0/+22
* Adding metadataroot2026-06-041-22/+0
* Adding metadataroot2026-05-311-14/+15
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-15/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-14/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-291-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-261-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-13/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-15/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-071-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-12/+13
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoPalica2020-06-231-0/+21