{
  "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"
}