Re: [firedrake] Installation fail inquiry