From cee0baa18698057398b787479381055fc0402254 Mon Sep 17 00:00:00 2001 From: yannickmoy Date: Thu, 20 Apr 2023 17:20:20 +0200 Subject: [PATCH] Publish project of SPARK examples (#797) This will be useful for training / tutorials based on Alire. --- .../program_proofs_in_spark-0.1.0.toml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml diff --git a/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml b/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml new file mode 100644 index 00000000..ba53880a --- /dev/null +++ b/index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml @@ -0,0 +1,18 @@ +name = "program_proofs_in_spark" +description = "Programs from the book Program Proofs in SPARK" +version = "0.1.0" + +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" + +[origin] +commit = "22ee1b3dd4fa4ab2b74ace89a5bb655882fed6b2" +url = "git+https://github.com/AdaCore/program_proofs_in_spark.git"