Re: [Liberty-eiffel] Fwd: Liberty-Eiffel Debian/Ubuntu

[Raphael Mack]

Hi,

did you do an
apt-get update

before the install?

If it still doesn't work can you paste your /etc/apt/sources.list? and
the output of "apt-get update"?

Regards,
Rapha

Am Sonntag, den 17.02.2019, 10:38 +0300 schrieb Igor Tanski:
> My question is about section "Prepared Debian/Ubuntu packages" from
> the
> Wiki page
> https://wiki.liberty-eiffel.org/index.php/Getting_Started
> 
> Namely I can not perform the second (and the last) step:
> "     then install (as root or with sudo)
> apt-get install liberty-eiffel-all
> "
> 
> My output is:
> "
> sudo apt-get install liberty-eiffel-all
> [sudo] password for igor:
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: Unable to locate package liberty-eiffel-all
> "
> 
> The question is usual: "What is wrong and what to do ?".
> I have Ubuntu 18.04.
> 
> With my best wishes
> IT
> 
-- 
WhatsApp? Nein aber XMPP/Jabber!
App: Conversations
Kontakt: address@hidden