[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 6
From: |
A. Arias |
Subject: |
Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 6 |
Date: |
Wed, 06 Mar 2019 19:25:47 -0600 |
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