summaryrefslogtreecommitdiff
path: root/sci-mathematics/opensmt
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible7 hours1-2/+2
* Adding metadataroot2026-06-125-0/+182
* Adding metadataroot2026-06-125-182/+0
* Adding metadataroot2026-06-045-0/+182
* Adding metadataroot2026-06-045-183/+0
* Revert "Adding metadata"root2026-06-045-0/+183
* Adding metadataroot2026-06-045-183/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-224-98/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-06-073-0/+92
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-062-5/+18
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-191-3/+5
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-081-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-082-1/+71
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-223-205/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-172-4/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-152-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-282-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-162-0/+72
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-141-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-073-70/+134
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-142-1/+78
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-093-0/+81