From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Ada grammar rules for names too permissive?
Date: Tue, 8 Jan 2019 10:58:00 -0800 (PST)
Date: 2019-01-08T10:58:00-08:00 [thread overview]
Message-ID: <9dd2857d-f93b-4deb-ab42-5257490286d0@googlegroups.com> (raw)
In-Reply-To: <q0vc5g$2nm$1@dont-email.me>
On Monday, January 7, 2019 at 3:11:45 AM UTC-8, J-P. Rosen wrote:
> Le 05/01/2019 à 19:46, Stephen Leake a écrit :
> > The latest version is a "GNU ELPA package"; it can be installed in
> > any Emacs version >= 25.0.
> >
> > 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).
> >
> 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"
>
> What's wrong?
>
There must have been a glitch downloading the files - I just tried and it worked 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
next prev parent reply other threads:[~2019-01-08 18:58 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-29 18:20 Ada grammar rules for names too permissive? olivermkellogg
2018-12-31 21:45 ` Randy Brukardt
2019-01-01 8:44 ` Dmitry A. Kazakov
2019-01-01 19:49 ` Stephen Leake
2019-01-01 20:42 ` Dmitry A. Kazakov
2019-01-02 19:21 ` Stephen Leake
2019-01-02 20:47 ` Dmitry A. Kazakov
2019-01-03 21:45 ` Stephen Leake
2019-01-03 22:34 ` Jere
2019-01-05 18:46 ` Stephen Leake
2019-01-07 11:11 ` J-P. Rosen
2019-01-08 18:58 ` Stephen Leake [this message]
2019-01-04 8:53 ` Dmitry A. Kazakov
2019-01-03 22:39 ` olivermkellogg
2019-01-04 8:58 ` Dmitry A. Kazakov
2019-01-05 8:45 ` Randy Brukardt
2019-01-05 18:50 ` Stephen Leake
2019-01-01 19:46 ` olivermkellogg
2019-01-03 22:36 ` Randy Brukardt
2019-01-01 19:46 ` Stephen Leake
2019-01-01 21:03 ` olivermkellogg
2019-01-02 19:42 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox