name = "program_proofs_in_spark"
description = "Programs from the book Program Proofs in SPARK"
version = "0.1.1"

authors = ["Yannick Moy"]
maintainers = ["Yannick Moy <moy@adacore.com>"]
maintainers-logins = ["yannickmoy"]
licenses = "Apache-2.0"
website = "https://github.com/AdaCore/program_proofs_in_spark"
project-files = ["ch5/ch5.gpr", "ch7/ch7.gpr", "ch12/ch12.gpr", "ch13/ch13.gpr", "ch15/ch15.gpr"]
tags = ["spark"]

[[depends-on]]
gnat = ">=12 & <2000"

[[depends-on]]
gnatprove = "^12.1.1"

[origin]
commit = "37500dca9b643d1cd2f3711e1f97264923ea0baa"
url = "git+https://github.com/AdaCore/program_proofs_in_spark.git"

