From: Blady <p.p11@orange.fr>
Subject: Re: Where to report bugs in gnatpp?
Date: Wed, 27 Sep 2023 21:26:54 +0200 [thread overview]
Message-ID: <uf1vlu$38bid$1@dont-email.me> (raw)
In-Reply-To: <uevpnb$2nni9$1@dont-email.me>
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.
prev parent reply other threads:[~2023-09-27 19:26 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-26 23:32 Where to report bugs in gnatpp? richardthiebaud
2023-09-27 5:11 ` G.B.
2023-09-27 19:26 ` Blady [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox