summaryrefslogtreecommitdiff
path: root/sci-mathematics/easycrypt/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot31 hours1-15/+16
* Adding metadataroot35 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-181-0/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-121-0/+17