Fix #66: specify compatible gnatcoll versions#67

Open

mgrojo wants to merge 1 commit intoHeisenbugLtd:masterfrom mgrojo:master

Commits on Feb 14, 2025

Fix HeisenbugLtd#66 : specify compatible gnatcoll versions
mgrojo
committed