summaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2/files
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+6
* Adding metadataroot2026-06-121-6/+0
* Adding metadataroot2026-06-041-0/+6
* Adding metadataroot2026-06-041-6/+0
* Revert "Adding metadata"root2026-06-041-0/+6
* Adding metadataroot2026-06-041-6/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-081-0/+6