From: s@srin.me
Subject: ASIS for gnat GPL 2017
Date: Thu, 21 Dec 2017 20:15:37 -0800 (PST)
Date: 2017-12-21T20:15:37-08:00 [thread overview]
Message-ID: <f9a26f17-18d9-4249-993e-bc7362ba2031@googlegroups.com> (raw)
My gnat 2017 installs on macos does not appear to include ASIS. Nor have i been able to download from the adacore site.
I am hoping to find a solution that is usable in macos and linux. pointers appreciated.
thanks, srini
next reply other threads:[~2017-12-22 4:15 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-22 4:15 s [this message]
2017-12-22 8:28 ` ASIS for gnat GPL 2017 Mark Lorenzen
2017-12-22 9:12 ` J-P. Rosen
2017-12-22 10:29 ` Simon Wright
2017-12-22 11:22 ` R Srinivasan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox