Does not build without changes with the current dependency specification for gnatcoll

[mgrojo]

Describe the bug
Tried to build using Alire, but both alr install spath and cloning the repository and then alr build failed.

To Reproduce
alr install spat

Expected Behavior
The tool is built and then installed by Alire.

Console Output

Build Libraries
   [gprlib]       gnatcoll_minimal.lexch
   [gprlib]       gnatcoll_core.lexch
   [archive]      libgnatcoll_minimal.a
   [index]        libgnatcoll_minimal.a
   [gprlib]       gnatcoll_projects.lexch
   [archive]      libgnatcoll_core.a
   [index]        libgnatcoll_core.a
   [archive]      libgnatcoll_projects.a
   [index]        libgnatcoll_projects.a
ⓘ Building gnatcoll=25.0.0/projects/gnatcoll_projects.gpr (2/4)...
ⓘ Building gnatcoll=25.0.0/core/gnatcoll_core.gpr (3/4)...
ⓘ Building gnatcoll=25.0.0/minimal/gnatcoll_minimal.gpr (4/4)...
ⓘ Building spat=1.3.0/spat.gpr...
Compile
   [Ada]          run_spat.adb
run_spat.adb:24:14: warning: unit "GNATCOLL.Projects" is not referenced [-gnatwu]
spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632
spat-command_line.ads:134:04: error: "List_Stop_Predicate" is not visible
spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632
spat-command_line.ads:134:04: error: non-visible declaration at gnatcoll-opt_parse.ads:632
spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632
spat-command_line.ads:134:04: error: non-visible declaration at gnatcoll-opt_parse.ads:290

   compilation of run_spat.adb failed

gprbuild: *** compilation phase failed
error: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/mgr/src/github/mgrojo/spat/alire/tmp/alr-phwq.tmp/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4
error: Build failed, cannot perform installation

Additional Context
I have a fix, will send a PR shortly. The problem is due to incompatibility with the selected gnatcoll version.