liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Raphael Mack
Subject: Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue 6
Date: Tue, 05 Mar 2019 22:01:50 +0100
User-agent: K-9 Mail for Android

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
reply via email to

[Prev in Thread] Current Thread [Next in Thread]