{
  "authors": [
    "Cesar SAGAERT"
  ],
  "build-switches": {
    "*": {
      "ada_version": "Ada2022"
    },
    "development": {
      "optimization": [
        "-O3"
      ]
    },
    "release": {
      "runtime_checks": "none"
    }
  },
  "description": "Experimental SPARK Constant Time Big Integer library",
  "licenses": "MIT",
  "maintainers": [
    "Cesar SAGAERT <sagaert@adacore.com>"
  ],
  "maintainers-logins": [
    "AldanTanneo"
  ],
  "name": "bigints",
  "origin": {
    "commit": "f5a14868e8a0e2cf8e273c592c11b8de02e81164",
    "url": "git+https://github.com/AldanTanneo/bigints.git"
  },
  "tags": [
    "spark",
    "cryptography",
    "prime-field",
    "integers"
  ],
  "version": "0.1.0",
  "website": "https://github.com/AldanTanneo/bigints"
}