summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat/files
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-123-0/+103
* Adding metadataroot2026-06-123-103/+0
* Adding metadataroot2026-06-043-0/+103
* Adding metadataroot2026-06-043-103/+0
* Revert "Adding metadata"root2026-06-043-0/+103
* Adding metadataroot2026-06-043-103/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-241-0/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-071-0/+41
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-241-0/+54
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-181-527/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-201-160/+0
* Updating liguros repoPalica2020-06-232-0/+687