Location of gnatmake?
Ian Ian <[email protected]> Wed, 4 Jan 2017 13:13:51 -0500
| Newsgroups | gmane.comp.ide.gps.user |
|---|---|
| Message-ID | <CANmqNiGyqptJuhJ49RH6cnGa1=+m_bkoFhO8nh2KxRsC_B60Ow@mail.gmail.com> |
--===============7679756305447111144== Content-Type: multipart/alternative; boundary=94eb2c0b685841ddfc054548bfc1 --94eb2c0b685841ddfc054548bfc1 Content-Type: text/plain; charset=UTF-8 Hello, Perhaps a silly question but in which package on github can I find the source for this utility? Thx! --94eb2c0b685841ddfc054548bfc1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <div dir=3D"auto">Hello,=C2=A0<div dir=3D"auto"><br></div><div dir=3D"auto"= >Perhaps a silly question but in which package on github can I find the sou= rce for this utility?</div><div dir=3D"auto"><br></div><div dir=3D"auto">Th= x!</div></div> --94eb2c0b685841ddfc054548bfc1-- --===============7679756305447111144== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ gps-users mailing list [email protected] http://lists.adacore.com/mailman/listinfo/gps-users --===============7679756305447111144==--