Test ran at 2025-02-10 12:43:06.032491+00:00

SOLUTION:
program_proofs_in_spark=0.1.1: Programs from the book Program Proofs in SPARK
Origin: commit 37500dca9b643d1cd2f3711e1f97264923ea0baa from https://github.com/AdaCore/program_proofs_in_spark.git
Properties:
   Author: Yannick Moy
   Description: Programs from the book Program Proofs in SPARK
   License: Apache-2.0
   Maintainer: Yannick Moy <moy@adacore.com>
   Maintainers_Logins: yannickmoy
   Name: program_proofs_in_spark
   Project_File: ch5/ch5.gpr
   Project_File: ch7/ch7.gpr
   Project_File: ch12/ch12.gpr
   Project_File: ch13/ch13.gpr
   Project_File: ch15/ch15.gpr
   Tag: spark
   Version: 0.1.1
   Website: https://github.com/AdaCore/program_proofs_in_spark
Dependencies (direct):
   gnat>=12 & <2000
   gnatprove^12.1.1
Dependencies (solution):
   gnat=13.2.2 (gnat_native)
Dependencies (missing):
   gnatprove^12.1.1 (direct,missed:unavailable)
Dependencies (graph):
   program_proofs_in_spark=0.1.1 --> gnat=13.2.2 (gnat_native) (>=12 & <2000)
   program_proofs_in_spark=0.1.1 --> gnatprove^12.1.1
Dependencies cannot be met


LOG: