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:
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?