Test ran at 2025-10-04 00:55:17.872163+00:00

SOLUTION:
spat=1.3.0: SPAT - SPARK Proof Analysis Tool
Origin: commit 4ad4ab14447ac8cbbedcb8d47f026a66a73551d7 from https://github.com/HeisenbugLtd/spat.git
Properties:
   Author: Vinzent "Jellix" Saranen
   Description: SPAT - SPARK Proof Analysis Tool
   Executable: run_spat
   License: WTFPL
   Long_Description: SPAT - SPARK Proof Analysis Tools

Helper tool to obtain, analyse, sort, and filter timing information about
`gnatprove` runs (`SPARK` tools).

   Maintainer: vinzent@heisenbug.eu
   Maintainers_Logins: Jellix
   Name: spat
   Project_File: spat.gpr
   Tag: spark
   Version: 1.3.0
   Website: https://github.heisenbug.eu/spat
Dependencies (direct):
   case Toolchain is
      when System => gnatcoll>=19
   si_units~0.2
Dependencies (solution):
   si_units=0.2.0
Dependencies (graph):
   spat=1.3.0 --> si_units=0.2.0 (~0.2)


LOG:
[alr test] Testing spat=1.3.0
[alr test] Spawning retrieval for remote crate: alr -d -n get spat=1.3.0
Note: Deploying spat=1.3.0...
Note: Migrating lockfile from D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\alire.lock to D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\alire\alire.lock
Note: Deploying si_units=0.2.0...

spat=1.3.0 successfully retrieved.
Dependencies were solved as follows:

   + si_units 0.2.0 (new)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building spat=1.3.0/spat.gpr...
spat.gpr:1:06: imported project file "gnatcoll" not found
gprbuild: "D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\spat.gpr" processing failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\b7a2015d-0b67-4c40-8223-0c1b9185ecb9\spat_1.3.0_4ad4ab14\spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 5
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe]
0x7ff64d93da2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284
0x7ff64d53595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111
0x7ff64d7ecba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22
0x7ff64d7edd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68
0x7ff64d712d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189
0x7ff64d7111da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255
0x7ff64d73912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143
0x7ff64d7a82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472
0x7ff64d7a7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555
0x7ff64d73922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147
0x7ff64d7392fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127
0x7ff64d7117a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286
0x7ff64d711912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114
0x7ff64ce83baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145
0x7ff64ce8341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113
0x7ff64ce835ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54
0x7ff64cf35dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff64cf42b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632
0x7ff64ce116a0 Alr.Main at alr-main.adb:13
0x7ff64ce15270 Main at b__alr-main.adb:2454
0x7ff64ce1133e __tmainCRTStartup at ???
0x7ff64ce11144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffa5063e8d5
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffa52708d9a

stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED
stderr: alire-roots.adb:202
stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202
[D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe]
0x7ff64d71313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202
0x7ff64d7111da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255
0x7ff64d73912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143
0x7ff64d7a82f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472
0x7ff64d7a7424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555
0x7ff64d73922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147
0x7ff64d7392fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127
0x7ff64d7117a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286
0x7ff64d711912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114
0x7ff64ce83baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145
0x7ff64ce8341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113
0x7ff64ce835ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54
0x7ff64cf35dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff64cf42b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632
0x7ff64ce116a0 Alr.Main at alr-main.adb:13
0x7ff64ce15270 Main at b__alr-main.adb:2454
0x7ff64ce1133e __tmainCRTStartup at ???
0x7ff64ce11144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffa5063e8d5
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffa52708d9a

ERROR: Compilation failed.