Re: [Liberty-eiffel] Bell Release Candidate 1

[Doug Kearns]

Further investigation reveals that the config file is in the package's data archive but not listed in md5sums.

Regards,

Doug

On 20 May 2016 at 02:24, Doug Kearns <address@hidden> wrote:

G'day folks,

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.se

So the md5sum verification is apparently failing.

Regards,

Doug

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 [1], as GNU savannah currently faces some
network issues and doesn't work stable), download the tarball [2] or
install the debian packages [3].

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!
Rapha

[1]: https://github.com/LibertyEiffel/Liberty/tree/bell
[2]: http://www.liberty-eiffel.org/bell-rc1.tar.gz
[3]: http://apt.liberty-eiffel.org/ rc main