[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 45, Issue 3
From: |
Igor Tanski |
Subject: |
Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 45, Issue 3 |
Date: |
Sat, 9 Mar 2019 10:01:11 +0300 |
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
> *********************************************
>
- Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 45, Issue 3,
Igor Tanski <=