Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 45, Issue 3

[Igor Tanski]

Now I tried to install the liberty eiffel packages step by step. No
success again:

sudo apt-get install liberty-eiffel-tools
[sudo] password for igor:
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package liberty-eiffel-tools

sudo apt-get install liberty-eiffel-extra-libs
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package liberty-eiffel-extra-libs

sudo apt-get install liberty-eiffel-core-libs
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package liberty-eiffel-core-libs

With my best wishes
IT

On 07/03/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 6 (Germ?n A. Arias)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Wed, 06 Mar 2019 19:25:47 -0600
> From: Germ?n "A. Arias" <address@hidden>
> To: Raphael Mack <address@hidden>
> Cc: address@hidden
> Subject: Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 6
> Message-ID: <address@hidden>
> Content-Type: text/plain; charset="UTF-8"
>
> 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
>
>
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Liberty-eiffel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/liberty-eiffel
>
>
> ------------------------------
>
> End of Liberty-eiffel Digest, Vol 45, Issue 3
> *********************************************
>