summaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible9 hours1-2/+2
* Adding metadataroot2026-06-125-0/+251
* Adding metadataroot2026-06-125-251/+0
* Adding metadataroot2026-06-045-0/+251
* Adding metadataroot2026-06-045-252/+0
* Revert "Adding metadata"root2026-06-045-0/+252
* Adding metadataroot2026-06-045-252/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-07-022-0/+115
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-013-96/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-081-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-083-3/+115
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-261-1/+1
* 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-01-091-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-084-0/+118