This looks like a duplicate of an existing Debian bug.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810314
** Bug watch added: Debian Bug tracker #810314
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810314
--
You received this bug notification because you are a member of Ubuntu
Bug
For the record, I downloaded the tar.gz version from adacore website
(http://mirrors.cdn.adacore.com/art/591c6d80c7a447af2deed1d7) and I don
not experiment this problem with it.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://b
when I contacted Adacore abot this issue, I got the following answer:
The way you are using gnatstub is correct, and I can confirm that it
works for AdaCore products. But we cannot say anything for the GNAT versions
built and distributed outside AdaCore.
Somehow the issue seems specific to
