summaryrefslogtreecommitdiff
path: root/dev-lang/dafny/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+397
* Adding metadataroot2026-06-121-397/+0
* Adding metadataroot2026-06-041-0/+397
* Adding metadataroot2026-06-041-397/+0
* Revert "Adding metadata"root2026-06-041-0/+397
* Adding metadataroot2026-06-041-397/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-03-151-25/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-261-0/+68
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-171-44/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-101-0/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-221-0/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-011-0/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-231-14/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-171-0/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-08-311-13/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-281-0/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-071-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-281-19/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-291-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-181-0/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-101-13/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-131-0/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-311-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-061-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-301-0/+86
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-181-0/+269