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

[A. Arias]

Hi Igor,

I try in my desktop PC with an old Ubuntu based system. I remove the
Liberty-Eiffel packages and then try to reinstall it again. I get the
error reported by Igor. So, I don't know what is going wrong here
because when I install these packages some years ago it worked without
problem. But you can install these packages that are all you need to
compile Eiffel programs:

liberty-eiffel-tools
liberty-eiffel-extra-libs
liberty-eiffel-core-libs

Regards
Germán

El mar, 05-03-2019 a las 22:01 +0100, Raphael Mack escribió:
> Mh. I am currently on vacation without access to my dev computer, so I
> can only propose some things from the memories. Libertyeiffel is
> provided in several packages for tools, libraries, wrappers and docs.
> The package liberty-eiffel-all just pulls all of them. You can try to
> search which packages for libertyeiffel are available after 'apt-get
> update' e.g. with aptitude and use / there to search for liberty or
> eiffel (in case there is a typo in liberty-eiffel or something like
> that).
> 
> I hope that helps.
> 
> Regards,
> Rapha
> 
> Am 2. März 2019 18:48:34 MEZ schrieb Igor Tanski
> <address@hidden>:
>         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
>         
> 
> --
> WhatsApp? Nein aber XMPP/Jabber!
> App: Conversations
> Kontakt: address@hidden