{
  "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": "SPARK/Ada Algorithms Targeting Advanced Network Applications",
    "development_only": false,
    "latest_version": "2.0.2",
    "name": "saatana",
    "selected_version": "2.0.2",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "16.2.0",
            "requirement": ">2020 | (>=11 & <2000)",
            "resolved": true,
            "version": "16.2.0-patchset.1.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Vinzent Saranen"
          ],
          "depends-on": [
            {
              "gnat": ">2020 | (>=11 & <2000)"
            }
          ],
          "description": "SPARK/Ada Algorithms Targeting Advanced Network Applications",
          "executables": [
            "test_phelix"
          ],
          "licenses": "WTFPL",
          "long-description": "Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications\nA collection of cryptographic algorithms, proven for correctness in SPARK.\n\nCurrently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)\n",
          "maintainers": [
            "amosteo@unizar.es",
            "vinzent@heisenbug.eu"
          ],
          "maintainers-logins": [
            "mosteo",
            "Jellix"
          ],
          "name": "saatana",
          "origin": {
            "hashes": [
              "sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"
            ],
            "url": "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
          },
          "project-files": [
            "saatana.gpr"
          ],
          "tags": [
            "cryptography",
            "spark"
          ],
          "version": "2.0.2",
          "website": "https://github.heisenbug.eu/Saatana"
        },
        "path": "index/sa/saatana/saatana-2.0.2.toml",
        "version": "2.0.2"
      },
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "description": "SPARK/Ada Algorithms Targeting Advanced Network Applications",
          "executables": [
            "test_phelix"
          ],
          "licenses": "WTFPL",
          "long-description": "Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications\nA collection of cryptographic algorithms, proven for correctness in SPARK.\n\nCurrently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)\n",
          "maintainers": [
            "vinzent@heisenbug.eu"
          ],
          "maintainers-logins": [
            "Jellix"
          ],
          "name": "saatana",
          "notes": "This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors.",
          "origin": {
            "hashes": [
              "sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"
            ],
            "url": "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
          },
          "project-files": [
            "saatana.gpr"
          ],
          "tags": [
            "cryptography",
            "spark"
          ],
          "version": "2.0.0",
          "website": "https://github.heisenbug.eu/Saatana"
        },
        "path": "index/sa/saatana/saatana-2.0.0.toml",
        "version": "2.0.0"
      }
    ]
  },
  "schema_version": 4
}