Re: gnatstudio

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Gilbert Gosseyn <revulo@enkidu-stiftung.eu> writes:
> Hi,
>
> I downloaded gnat-12_12.2.0-14_amd64.deb and used
>
> sudo dpkg --install ...deb

This explains how you (incorrectly) installed gnat; that was not my question.
The correct way to install gnat, or any Debian package, is:

sudo apt install gnat

which does the downloading for you after resolving all dependencies.

> I have debian 12 installed.
>
> checking with ldd on gnatstudio_exe shows also no libtinfo.so.5

You say what it does not show but you don't say what it shows.

How did you install gnatstudio?

What does

ldd $(which gnatstudio)

say?

-- 
Ludovic Brenta.