summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible12 hours1-2/+2
* Adding metadataroot2026-06-126-0/+724
* Adding metadataroot2026-06-126-724/+0
* Adding metadataroot2026-06-046-0/+724
* Adding metadataroot2026-06-046-723/+0
* Revert "Adding metadata"root2026-06-046-0/+723
* Adding metadataroot2026-06-046-723/+0
* Adding metadataroot2026-05-311-9/+7
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-243-4/+121
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-152-29/+23
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-201-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-11/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-13/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-04-161-2/+2
* 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-10/+11
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoPalica2020-06-234-0/+613