summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-121-0/+1
* Adding metadataroot2026-06-121-1/+0
* Adding metadataroot2026-06-041-0/+1
* Adding metadataroot2026-06-041-1/+0
* Revert "Adding metadata"root2026-06-041-0/+1
* Adding metadataroot2026-06-041-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-03-151-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-261-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-161-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-061-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-281-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-061-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-231-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-281-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-251-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-291-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-211-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-131-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-151-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-301-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-181-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-161-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-221-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-021-2/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-161-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-061-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-021-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-271-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-221-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-201-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-301-0/+1