Test ran at 2023-05-16 13:17:38.748419+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 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): gnatprove=12.1.1 (installed) Dependencies (external): gnat>=12 & <2000 (direct,hinted) Dependencies (graph): program_proofs_in_spark=0.1.1 --> gnat>=12 & <2000 program_proofs_in_spark=0.1.1 --> gnatprove=12.1.1 (^12.1.1) Dependencies cannot be met LOG: