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

[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