Installation tips and tricks - firedrakeproject/firedrake GitHub Wiki

TODO