summaryrefslogtreecommitdiff
path: root/sci-mathematics/proverif
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible12 hours1-2/+2
* Adding metadataroot2026-06-126-0/+246
* Adding metadataroot2026-06-126-246/+0
* Adding metadataroot2026-06-046-0/+246
* Adding metadataroot2026-06-046-246/+0
* Revert "Adding metadata"root2026-06-046-0/+246
* Adding metadataroot2026-06-046-246/+0
* Adding metadataroot2026-05-311-15/+15
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-243-9/+9
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-112-0/+67
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-032-6/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-145-0/+173