[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.
- [Liberty-eiffel] Problem with deb packages,
Germán Arias <=