Publish project of SPARK examples (#797)

This will be useful for training / tutorials based on Alire.
2023-04-20 17:20:20 +02:00
parent 678933d13e
commit cee0baa186
1 changed files with 18 additions and 0 deletions
@@ -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 <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"
+
+[origin]
+commit = "22ee1b3dd4fa4ab2b74ace89a5bb655882fed6b2"
+url = "git+https://github.com/AdaCore/program_proofs_in_spark.git"