summaryrefslogtreecommitdiff
path: root/sci-mathematics/verifpal
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-124-0/+70
* Adding metadataroot2026-06-124-70/+0
* Adding metadataroot2026-06-044-0/+70
* Adding metadataroot2026-06-044-70/+0
* Revert "Adding metadata"root2026-06-044-0/+70
* Adding metadataroot2026-06-044-70/+0
* Adding metadataroot2026-05-311-9/+8
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-144-0/+71