From bbece6102a8d7095c12754c76c20dcd3a522b0a3 Mon Sep 17 00:00:00 2001 From: yannickmoy Date: Fri, 28 Apr 2023 10:14:30 +0200 Subject: [PATCH] program_proofs_in_spark 0.1.1 (#799) * Publish project of SPARK examples This will be useful for training / tutorials based on Alire. * Updated the examples to include drivers for execution --- .../program_proofs_in_spark-0.1.1.toml | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml diff --git a/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml b/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml new file mode 100644 index 00000000..bed2e9e5 --- /dev/null +++ b/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml @@ -0,0 +1,22 @@ +name = "program_proofs_in_spark" +description = "Programs from the book Program Proofs in SPARK" +version = "0.1.1" + +authors = ["Yannick Moy"] +maintainers = ["Yannick Moy "] +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" +