basalt 0.3.0 (#697)

* Update basalt to 0.3.0 * Add tags to basalt * Add separate version for legacy SPARK
2022-12-13 19:40:52 +01:00
parent 820140cb23
commit 6e5fa5b77d
2 changed files with 22 additions and 0 deletions
@@ -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"]
@@ -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"]