----------------------------------------------------------------------------------
@MSGID: 1@dont-email.me> 6bb9dbf3
@REPLY: 1@dont-email.me> 4e699fa5
@REPLYADDR Blady <p.p11@orange.fr>
@REPLYTO 2:5075/128 Blady
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@RFC-References: 1@dont-email.me>
@TZUTC: 0200
@PID: Mozilla/5.0 (Macintosh; Intel Mac OS X
10.15; rv:102.0) Gecko/20100101 Thunderbird/102.15.1
@TID: FIDOGATE-5.12-ge4e8b94
Le 27/09/2023 ? 01:32, richardthiebaud a ?crit :
> I have a bug with gnatpp which prevents is starting. Where should I
> report this? I tried to report it on Gnu`s bug system but they said it
> is not their program.
Hello,
GNATPP is part of LibAdaLang Tools available on GitHub:
https://github.com/AdaCore/libadalang-tools
Post your issue there:
https://github.com/AdaCore/libadalang-tools/issues
HTH, Pascal.
--- Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.15.1
* Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441