{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Reusable components in SPARK/Ada developed since 1980.",
    "development_only": false,
    "latest_version": "1.2.0",
    "name": "proven_components",
    "selected_version": "1.2.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Pat Rogers"
          ],
          "configuration": {
            "generate_c": false,
            "variables": {
              "Profile": {
                "default": "Full",
                "type": "Enum",
                "values": [
                  "Full",
                  "Embedded"
                ]
              }
            }
          },
          "description": "Reusable components in SPARK/Ada developed since 1980.",
          "licenses": "Apache-2.0 WITH LLVM-exception",
          "long-description": "These are components developed over the past 45+ years of Ada work, updated as Ada evolved, and formally proven when within the SPARK subset.\nMost are proven to the Gold or Platinum level, but when necessary they are proven to the Silver level, i.e., absence of run-time errors.\nThey have been used in both host and embedded projects, many professional and a few for fun.\n\nSample contents:\n  Sequential Bounded Buffers\n  Sequential Bounded Stacks (i.e., not thread-safe)\n  ...\n  Protected types providing synchronization protocols\n  PI and PID Controls\n  Image functions for floating- and fixed-point types, in standard (i.e., not scientific) notation\n  Gaussian, Categorical, and Scaled Uniform Random Number Generators\n  Recursive Moving Average (RMA) filters for signal processing\n  Sorting and Searching routines\n  ...\n",
          "maintainers": [
            "Pat Rogers <progers@classwide.com>"
          ],
          "maintainers-logins": [
            "pat-rogers"
          ],
          "name": "proven_components",
          "origin": {
            "commit": "e177c6c5209e4367f7905e6fee9e97f1ac13c925",
            "url": "git+https://github.com/pat-rogers/proven_components.git"
          },
          "project-files": [
            "proven_components.gpr"
          ],
          "tags": [
            "reuse",
            "components",
            "spark",
            "proof"
          ],
          "version": "1.2.0",
          "website": "https://github.com/pat-rogers/proven_components"
        },
        "path": "index/pr/proven_components/proven_components-1.2.0.toml",
        "version": "1.2.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "sparklib",
            "package": "sparklib",
            "provided_version": "15.1.0",
            "requirement": "^15.1.0",
            "resolved": true,
            "version": "15.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Pat Rogers"
          ],
          "depends-on": [
            {
              "sparklib": "^15.1.0"
            }
          ],
          "description": "Reusable components in SPARK/Ada developed since 1980.",
          "licenses": "Apache-2.0 WITH LLVM-exception",
          "long-description": "These are components developed over the past 45+ years of Ada work, updated as Ada evolved, and formally proven when within the SPARK subset.\nMost are proven to the Gold or Platinum level, but when necessary they are proven to the Silver level, i.e., absence of run-time errors.\nThey have been used in both host and embedded projects, many professional and a few for fun.\n\nSample contents:\n  Sequential Bounded Buffers\n  Sequential Bounded Stacks (i.e., not thread-safe)\n  ...\n  Protected types providing synchronization protocols\n  PI and PID Controls\n  Image functions for floating- and fixed-point types, in standard (i.e., not scientific) notation\n  Gaussian, Categorical, and Scaled Uniform Random Number Generators\n  Recursive Moving Average (RMA) filters for signal processing\n  Sorting and Searching routines\n  ...",
          "maintainers": [
            "Pat Rogers <progers@classwide.com>"
          ],
          "maintainers-logins": [
            "pat-rogers"
          ],
          "name": "proven_components",
          "origin": {
            "commit": "f3ef93b680b944142c9599f1ec0cab1e91dcca61",
            "url": "git+https://github.com/pat-rogers/proven_components.git"
          },
          "project-files": [
            "proven_components.gpr"
          ],
          "tags": [
            "reuse",
            "components",
            "spark",
            "proof"
          ],
          "version": "1.1.0",
          "website": "https://github.com/pat-rogers/proven_components"
        },
        "path": "index/pr/proven_components/proven_components-1.1.0.toml",
        "version": "1.1.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "sparklib",
            "package": "sparklib",
            "provided_version": "15.1.0",
            "requirement": "^15.1.0",
            "resolved": true,
            "version": "15.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/pr/proven_components/proven_components-1.0.0.toml",
        "version": "1.0.0"
      }
    ]
  },
  "schema_version": 4
}