liberty-eiffel
[Top][All Lists]
Advanced

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

Re: [Liberty-eiffel] Problem with deb packages


From: Germán Arias
Subject: Re: [Liberty-eiffel] Problem with deb packages
Date: Sun, 18 May 2014 23:11:41 -0600
User-agent: GNUMail (Version 1.2.1)

On 2014-05-18 23:04:57 -0600 Cyril ADRIAN <address@hidden> wrote:

> Hi Germán
> 
> Thanks for your report :-)
> 
> 2014-05-18 21:38 GMT+02:00 Germán Arias <address@hidden>:
> 
>> liberty-eiffel-core-libs
>> liberty-eiffel-extra-libs
>> 
>> But I can't install: liberty-eiffel-all. As I can see the problem is that
>> I need the package liberty-eiffel-tools. But I can't found this package.
>> 
> 
> The package is indeed in the apt pool (
> http://apt.liberty-eiffel.org/pool/main/libe/liberty-eiffel/). Do you have
> all the dependencies? Could you try installing the package manually?
> 
> Now that I think a bit– it may be an architecture problem. We have the
> amd64 packages but i386 are not compiled. What is your architecture?

i386

Germán.

> 
> Thanks,
> 
> Cyril
>




reply via email to

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