10 May
2016
10 May
'16
6:55 a.m.
Dear all, I am working on a Linux machine on which the IT team tried to install Firedrake, but got the following error: