nichkara/grl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

Add gnatprove as dependency
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m32s
Details

Browse Source
This commit is contained in:
Nina Chlóe Kassandra Reiß
2026-06-14 22:00:40 +02:00
parent 4cb0066d0e
commit cdf1ca655d
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
alire.toml
+2
View File
@@ -9,3 +9,5 @@ licenses = "MIT"
website = "" website = ""
tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"] tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
[[depends-on]]
gnatprove = "^15.1.0"