|Subject:||Re: [Liberty-eiffel] Bell Release Candidate 1|
|Date:||Fri, 20 May 2016 23:58:25 +1000|
Unfortunately, the Debian packages don't seem to be filling /etc/xdg/liberty-eiffel with loadpath files as expected.
$ dpkg --verify liberty-eiffel-core-libs
??5?????? c /etc/xdg/liberty-eiffel/liberty_core.seSo the md5sum verification is apparently failing.Regards,On 16 May 2016 at 07:24, Raphael Mack <address@hidden> wrote:Hello all,
the first release candidate for the bell release is out. Please check it
out from git (on github , as GNU savannah currently faces some
network issues and doesn't work stable), download the tarball  or
install the debian packages .
We'd appreciate any feedback on problems with the installation or any
kind of bugs you find - if they are critical or easy to fix, we'll do so
before the release.
Stay tuned and have fun!
: http://apt.liberty-eiffel.org/ rc main
|[Prev in Thread]||Current Thread||[Next in Thread]|