diff --git a/index/ba/basalt/basalt-0.3.0-1.toml b/index/ba/basalt/basalt-0.3.0-1.toml new file mode 100644 index 00000000..9a1a9ad2 --- /dev/null +++ b/index/ba/basalt/basalt-0.3.0-1.toml @@ -0,0 +1,11 @@ +description = "Collection of formally verified building blocks (legacy annotations)" +name = "basalt" +version = "0.3.0-1" +licenses = "AGPL-3.0-only" +maintainers = ["kliemann@adacore.com"] +maintainers-logins = ["jklmnn"] +tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"] + +[origin] +url = "https://github.com/Componolit/basalt/archive/refs/tags/v0.3.0-1.tar.gz" +hashes = ["sha512:f970b41598216e040ece5e673689b7fb87153721ec11c596f63bb79df2f3b0a84e8ed2c0da462f98abeacb79ce30f5c1558aa36f935188f5a0e46c0685585f5a"] diff --git a/index/ba/basalt/basalt-0.3.0.toml b/index/ba/basalt/basalt-0.3.0.toml new file mode 100644 index 00000000..07a15029 --- /dev/null +++ b/index/ba/basalt/basalt-0.3.0.toml @@ -0,0 +1,11 @@ +description = "Collection of formally verified building blocks" +name = "basalt" +version = "0.3.0" +licenses = "AGPL-3.0-only" +maintainers = ["kliemann@adacore.com"] +maintainers-logins = ["jklmnn"] +tags = ["embedded", "nostd", "queue", "spark", "stack", "string", "utils"] + +[origin] +url = "https://github.com/Componolit/basalt/archive/v0.3.0.tar.gz" +hashes = ["sha512:bbbf5ac9ac03ef85125b93a23541848fddf42a6ba878a6d35fe0282338b5e0f5c68a3be97dd7e3964bb01744e3ae4589a6ace3faceab9de9971c9d7860c40ae1"]