From: reinert <reinkor@gmail.com>
Subject: Debian 9 (stretch): could not locate gnatpp
Date: Tue, 22 Aug 2017 00:38:57 -0700 (PDT)
Date: 2017-08-22T00:38:57-07:00 [thread overview]
Message-ID: <82c32ff7-662a-46f8-b213-25382e5e8cb3@googlegroups.com> (raw)
Hi,
I tried to use "pretty print" using gnat-gps under Debian 9 (stretch).
Then I get the message: "could not locate gnatpp". I should install a missing package? Any hint?
reinert
next reply other threads:[~2017-08-22 7:38 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-22 7:38 reinert [this message]
2017-08-24 16:29 ` Debian 9 (stretch): could not locate gnatpp Dirk Heinrichs
2017-08-24 16:56 ` Dirk Heinrichs
2017-08-24 19:22 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox