From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a02:b587:: with SMTP id m7-v6mr955353jaj.7.1532611989477; Thu, 26 Jul 2018 06:33:09 -0700 (PDT) X-Received: by 2002:aca:2b06:: with SMTP id i6-v6mr51446oik.0.1532611989121; Thu, 26 Jul 2018 06:33:09 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g2-v6no810697itf.0!news-out.google.com!k71-v6ni861itk.0!nntp.google.com!d7-v6no799961itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 26 Jul 2018 06:33:08 -0700 (PDT) In-Reply-To: <4168fe08-6d06-4779-937a-b6acbfca1d68@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=192.251.84.3; posting-account=bXcJoAoAAAAWI5APBG37o4XwnD4kTuQQ NNTP-Posting-Host: 192.251.84.3 References: <9f8bc09e-14a6-47a4-8083-caa1857ec6e9@googlegroups.com> <4168fe08-6d06-4779-937a-b6acbfca1d68@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Some questions about GPS From: Patrick Noffke Injection-Date: Thu, 26 Jul 2018 13:33:09 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:53968 Date: 2018-07-26T06:33:08-07:00 List-Id: On Tuesday, July 24, 2018 at 3:01:10 PM UTC-5, Ian Douglas wrote: > FWIW, I tried to update to 2018 version of GPS but it fails to compile. (It is marked "unstable" in Gentoo, despite being "recommended" version".) > You can download prebuilt binaries of the 2018 Community Edition from here: https://www.adacore.com/download The gnat-community-2018-20180528-x86_64-linux-bin installer includes GPS. Regards, Patrick