Re: [firedrake] Problem installing Firedrake on Ubuntu 18.04