From 6e5fa5b77d354ef72fc8a921841f334c742f7e95 Mon Sep 17 00:00:00 2001 From: JK Date: Tue, 13 Dec 2022 19:40:52 +0100 Subject: [PATCH] basalt 0.3.0 (#697) * Update basalt to 0.3.0 * Add tags to basalt * Add separate version for legacy SPARK --- index/ba/basalt/basalt-0.3.0-1.toml | 11 +++++++++++ index/ba/basalt/basalt-0.3.0.toml | 11 +++++++++++ 2 files changed, 22 insertions(+) create mode 100644 index/ba/basalt/basalt-0.3.0-1.toml create mode 100644 index/ba/basalt/basalt-0.3.0.toml 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"]