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
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:5e90:: with SMTP id h138mr2311298itb.27.1546973881078;
        Tue, 08 Jan 2019 10:58:01 -0800 (PST)
X-Received: by 2002:a9d:6f14:: with SMTP id n20mr76261otq.2.1546973880929;
 Tue, 08 Jan 2019 10:58:00 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!2.eu.feeder.erje.net!4.us.feeder.erje.net!feeder.erje.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!k10no280400itk.0!news-out.google.com!v71ni340ita.0!nntp.google.com!k10no280396itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 8 Jan 2019 10:58:00 -0800 (PST)
In-Reply-To: <q0vc5g$2nm$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.77.182.20;
 posting-account=W2gdXQoAAADxIuhBWhPFjUps3wUp4RhQ
NNTP-Posting-Host: 76.77.182.20
References: <30ba8954-a19e-4c95-b350-798b0276db41@googlegroups.com>
 <q0e2m8$t6b$1@franka.jacob-sparre.dk> <q0f98v$1hf2$1@gioia.aioe.org>
 <38103aef-2528-41ae-bb29-eec551a64808@googlegroups.com>
 <q0gjbo$1atg$1@gioia.aioe.org>
 <10d98401-d974-459f-93ed-e0b315b414e8@googlegroups.com>
 <q0j80m$s8r$1@gioia.aioe.org>
 <ea54f17a-21d7-400a-8bb3-4aaa36fd2e6d@googlegroups.com>
 <fe4878b7-305b-48e6-8fbb-86d3df15c234@googlegroups.com>
 <9bbe4820-f62f-4c99-b9a2-f6a454f68eca@googlegroups.com>
 <q0vc5g$2nm$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9dd2857d-f93b-4deb-ab42-5257490286d0@googlegroups.com>
Subject: Re: Ada grammar rules for names too permissive?
From: Stephen Leake <stephen_leake@stephe-leake.org>
Injection-Date: Tue, 08 Jan 2019 18:58:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:55245
Date: 2019-01-08T10:58:00-08:00
List-Id: <comp.lang.ada>

On Monday, January 7, 2019 at 3:11:45 AM UTC-8, J-P. Rosen wrote:
> Le 05/01/2019 =C3=A0 19:46, Stephen Leake a =C3=A9crit :
> > The latest version is a "GNU ELPA package"; it can be installed in
> > any Emacs version >=3D 25.0.
> >=20
> > To install, execute M-x list-packages, search for "ada-mode", type
> > 'i' for Install, 'x' for execute. Wait for Emacs to contact the ELPA
> > server and install the package. Then restart Emacs (to ensure
> > everything got done correctly).
> >=20
> Just did that with Emacs 26.1/Windows 10, and it fails with:
> package--check-signature-content: Failed to verify signature:
> "ada-mode-6.0.1.tar.sig"
>=20
> What's wrong?
>=20

There must have been a glitch downloading the files - I just tried and it w=
orked for me.

So try again. I'm not sure how well the packages tool cleans up after this =
error - you may have to manually delete files in ~/.emacs.d/elpa

Note that to get the error-correcting parser, you have to manually compile =
Ada code - see ada-mode.info.

-- Stephe