{
  "authors": [
    "Pat Rogers"
  ],
  "depends-on": [
    {
      "sparklib": "^15.1.0"
    }
  ],
  "description": "Reusable components formally proven to the highest possible levels.",
  "licenses": "Apache-2.0 WITH LLVM-exception",
  "maintainers": [
    "Pat Rogers <progers@classwide.com>"
  ],
  "maintainers-logins": [
    "pat-rogers"
  ],
  "name": "proven_components",
  "origin": {
    "commit": "584876de8f40951d61501e7370995cac6c8f1863",
    "url": "git+https://github.com/pat-rogers/proven_components.git"
  },
  "project-files": [
    "proven_components.gpr"
  ],
  "tags": [
    "reuse",
    "components",
    "spark",
    "proof"
  ],
  "version": "1.0.0",
  "website": "https://github.com/pat-rogers/proven_components"
}