Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 6

[Igor Tanski]

On 25/02/2019, address@hidden
<address@hidden> wrote:
> Send Liberty-eiffel mailing list submissions to
>       address@hidden
>
> To subscribe or unsubscribe via the World Wide Web, visit
>       https://lists.gnu.org/mailman/listinfo/liberty-eiffel
> or, via email, send a message with subject or body 'help' to
>       address@hidden
>
> You can reach the person managing the list at
>       address@hidden
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Liberty-eiffel digest..."
>
>
> Today's Topics:
>
>    1. Re: Liberty-eiffel Digest, Vol 44, Issue 4 (Raphael Mack)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sun, 24 Feb 2019 19:25:38 +0100
> From: Raphael Mack <address@hidden>
> To: address@hidden
> Subject: Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 4
> Message-ID:
>       <address@hidden>
> Content-Type: text/plain; charset="UTF-8"
>
> Hi,
>
> 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.
>
> Best regards,
> Rapha
>

Hello,

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
Tanski Igor