Am 2. März 2019 18:48:34 MEZ schrieb Igor Tanski <address@hidden>:
On 25/02/2019, address@hidden
Send Liberty-eiffel mailing list submissions to
To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to
You can reach the person managing the list at
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Liberty-eiffel digest..."
1. Re: Liberty-eiffel Digest, Vol 44, Issue 4 (Raphael Mack)
Date: Sun, 24 Feb 2019 19:25:38 +0100
From: Raphael Mack <address@hidden>
Subject: Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 4
Content-Type: text/plain; charset="UTF-8"
ok, it is due to the fact that we have so signatures in the repo. You
can workaround it with
deb [trusted=yes] http://apt.liberty-eiffel.org/ release main
in your sources.list
But yes, in the long run we need to setup the signing process of the
deb files and the repository.
Thank you for advice, but it still not works.
Now the output is:
Now it is:
sudo apt-get install liberty-eiffel-all
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package liberty-eiffel-all
I unchecked both "main" and "main(SourceCode)" items.
With my best wishes