Forgot to say: this error can be fixed by replacing ncurses-dev with libncurses-dev, but then I'm getting many more apt error messages.

On 17/05/18 15:32, Paolo Crisafulli wrote:
Hi all,

I'm using the docker build environment provided by

Currently, "make sel4" fails with this message:

E: Package 'ncurses-dev' has no installation candidate

Anyone experimenting the same behaviour?



Devel mailing list

Reply via email to