{
  "description": "Collection of formally verified building blocks (legacy annotations)",
  "licenses": "AGPL-3.0-only",
  "maintainers": [
    "kliemann@adacore.com"
  ],
  "maintainers-logins": [
    "jklmnn"
  ],
  "name": "basalt",
  "origin": {
    "hashes": [
      "sha512:f970b41598216e040ece5e673689b7fb87153721ec11c596f63bb79df2f3b0a84e8ed2c0da462f98abeacb79ce30f5c1558aa36f935188f5a0e46c0685585f5a"
    ],
    "url": "https://github.com/Componolit/basalt/archive/refs/tags/v0.3.0-1.tar.gz"
  },
  "tags": [
    "embedded",
    "nostd",
    "queue",
    "spark",
    "stack",
    "string",
    "utils"
  ],
  "version": "0.3.0-1"
}