* Where to report bugs in gnatpp? @ 2023-09-26 23:32 richardthiebaud 2023-09-27 5:11 ` G.B. 2023-09-27 19:26 ` Blady 0 siblings, 2 replies; 3+ messages in thread From: richardthiebaud @ 2023-09-26 23:32 UTC (permalink / raw) 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. ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Where to report bugs in gnatpp? 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 1 sibling, 0 replies; 3+ messages in thread From: G.B. @ 2023-09-27 5:11 UTC (permalink / raw) On 27.09.23 01:32, richardthiebaud wrote: > 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. When I invoke mine with option --help, then the last line it outputs has this: Report bugs to... $ ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Where to report bugs in gnatpp? 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 1 sibling, 0 replies; 3+ messages in thread From: Blady @ 2023-09-27 19:26 UTC (permalink / raw) 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. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-09-27 19:26 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 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 is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox