Need help understanding the Alire "with" command regarding gnatcoll in the Rosetta Code Task Hamming Numbers

Hi;

I’m trying to build the Rosetta Code Task “Hamming Numbers” using Alire and I’m having trouble using the QAlire “with” command when trying to add “gnatcoll-gmp”.

alr build
ⓘ Building hamming=0.1.0-dev/hamming.gpr…
Setup
[mkdir] object directory for project Hamming
[mkdir] exec directory for project Hamming
Compile
[Ada] hamming.adb
hamming.adb:3:06: error: file “gnatcoll-gmp.ads” not found
hamming.adb:4:06: error: file “gnatcoll-gmp.ads” not found

compilation of hamming.adb failed

gprbuild: *** compilation phase failed
error: Command [“gprbuild”, “-s”, “-j0”, “-p”, “-P”, “/Users/kwolcott/tmp/ALR/hamming/hamming.gpr”] exited with code 4
error: Compilation failed.

alr --no-color with gnatcoll-gmp
ERROR: Invalid name ‘gnatcoll-gmp’: Identifiers must be lowercase ASCII alphanumerical. You can see the complete identifier naming rules with ‘alr help identifiers’

Thanks,
Retired_Build_Engineer

‘-’ (dash, hyphen) isn’t allowed. Try gnatcoll_gmp.

You might want to raise an issue on Alire, to the effect that 'when I get

ERROR: Invalid name ‘gnatcoll-gmp’: Identifiers must be lowercase ASCII alphanumerical. 

it would help if it said “lowercase ASCII alphanumerical, or underscore”'.

Thank you, Simon!

It works.

I created a discussion topic on the GitHub repo for Alire regarding modification of the “alr with” error message

Thanks!