summaryrefslogtreecommitdiff
path: root/sci-mathematics/kissat
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible17 hours1-2/+2
* Adding metadataroot2026-06-124-0/+107
* Adding metadataroot2026-06-124-107/+0
* Adding metadataroot2026-06-044-0/+107
* Adding metadataroot2026-06-044-108/+0
* Revert "Adding metadata"root2026-06-044-0/+108
* Adding metadataroot2026-06-044-108/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-162-0/+50
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-013-42/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-112-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-152-0/+40
* 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-02-151-0/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-103-0/+56