Nina Chlóe Kassandra Reiß
cdf1ca655d
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m32s
14 lines
362 B
TOML
14 lines
362 B
TOML
name = "grl"
|
|
description = "Spark verified Geo and Routing Library (GRL)"
|
|
version = "0.1.0-dev"
|
|
|
|
authors = ["Nina Reiss"]
|
|
maintainers = ["Nina Reiss <nina.reiss@nickr.eu>"]
|
|
maintainers-logins = ["nichkara"]
|
|
licenses = "MIT"
|
|
website = ""
|
|
tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
|
|
|
|
[[depends-on]]
|
|
gnatprove = "^15.1.0"
|