summaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot5 days1-0/+19
* Adding metadataroot5 days1-19/+0
* Adding metadataroot13 days1-0/+19
* Adding metadataroot13 days1-20/+0
* Revert "Adding metadata"root13 days1-0/+20
* Adding metadataroot13 days1-20/+0
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-311-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-081-0/+19