Re: Problem installing liberty-eiffel on WSL

[Raphael Mack]

Hi Jan-Eric,

can you check what

sudo apt-get install liberty-eiffel-tools

outputs? - This would tra to install the tools package directly, and
may show a more details error message. Also can you let us know the
architecture you are using?

Regards,
Rapha

Am Samstag, dem 20.07.2024 um 14:32 +0200 schrieb Jan-Eric Nitschke:
> Hi,
> 
> i am currently trying to install liberty-eiffel on WSL.
> I have added this line to my sources.list file "deb [trusted=yes] 
> http://apt.liberty-eiffel.org/ release main".
> 
> Afterwards i do
> ```
> sudo apt-get update
> sudo apt-get install liberty-eiffel-all
> ```
> However, i only receive this error:
> The following packages have unmet dependencies:
>   liberty-eiffel-all : Depends: liberty-eiffel-tools (=
> 2016.05~release) 
> but it is not installable
> E: Unable to correct problems, you have held broken packages.
> 
> I would appreciate any help.
> 
> Cheers
> Jan-Eric
>