Error in gnat-5-arm-linux-gnueabi package

[Per Dalgas Jakobsen <pdj@knaldgas.dk>]

I installed the gnat-5-arm-linux-gnueabi package from testing, but 
arm-linux-gnueabi-gnatmake gave me the following error:

$ arm-linux-gnueabi-gnatmake hello.adb
arm-linux-gnueabi-gnatbind-5 -x hello.ali
arm-linux-gnueabi-gnatlink-5 hello.ali
arm-linux-gnueabi-gnatlink-5: Couldn't locate arm-linux-gnueabi-gcc-5-5
arm-linux-gnueabi-gnatmake: *** link failed.

A simple:
# ln -s /usr/bin/arm-linux-gnueabi-gcc-5 /usr/bin/arm-linux-gnueabi-gcc-5-5
solved the problem.

I guess the -5-5 should have been a single "-5".

# uname -a
Linux <host> 4.3.0-1-amd64 #1 SMP Debian 4.3.5-1 (2016-02-06) x86_64 
GNU/Linux

~Per