liberty-eiffel
[Top][All Lists]
Advanced

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

[Liberty-eiffel] Problem with deb packages


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

OK, I added

deb http://apt.liberty-eiffel.org/ release main

to my system. Then I installed:

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.

Germán.




reply via email to

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