Test ran at 2025-02-05 12:21:56.211770+00:00

SOLUTION:
elevator=1.0.0: A Simple Elevator System
Origin: commit b439645aabfe091eef46b3a3174e47ffa86e3930 from https://github.com/ada-Soton/elevator.git
Properties:
   Author: Thai Son Hoang
   Description: A Simple Elevator System
   Executable: main
   License: CC-BY-SA-4.0
   Maintainer: Thai Son Hoang <T.S.Hoang@soton.ac.uk>
   Maintainers_Logins: tshoang
   Name: elevator
   Tag: elevator
   Tag: teaching
   Version: 1.0.0
   Website: https://github.com/ada-Soton/elevator
Dependencies (direct):
   gnatprove^12.1.1
Dependencies (missing):
   gnatprove^12.1.1 (direct,missed:unavailable)
Dependencies (graph):
   elevator=1.0.0 --> gnatprove^12.1.1
Dependencies cannot be met


LOG: