summaryrefslogtreecommitdiff
path: root/sci-mathematics/btor2tools/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2 days1-0/+12
* Adding metadataroot3 days1-13/+0
* Revert "Adding metadata"root3 days1-0/+13
* Adding metadataroot3 days1-13/+0
* Adding metadataroot6 days1-10/+11
* Adding metadataroot6 days1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-10/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-111-0/+12