{
  "authors": [
    "Yannick Moy"
  ],
  "depends-on": [
    {
      "gnat": ">=12 & <2000"
    },
    {
      "gnatprove": "^12.1.1"
    }
  ],
  "description": "Programs from the book Program Proofs in SPARK",
  "licenses": "Apache-2.0",
  "maintainers": [
    "Yannick Moy <moy@adacore.com>"
  ],
  "maintainers-logins": [
    "yannickmoy"
  ],
  "name": "program_proofs_in_spark",
  "origin": {
    "commit": "37500dca9b643d1cd2f3711e1f97264923ea0baa",
    "url": "git+https://github.com/AdaCore/program_proofs_in_spark.git"
  },
  "project-files": [
    "ch5/ch5.gpr",
    "ch7/ch7.gpr",
    "ch12/ch12.gpr",
    "ch13/ch13.gpr",
    "ch15/ch15.gpr"
  ],
  "tags": [
    "spark"
  ],
  "version": "0.1.1",
  "website": "https://github.com/AdaCore/program_proofs_in_spark"
}