8 Feb
                
                    2019
                
            
            
                8 Feb
                
                '19
                
            
            
            
        
    
                12:14 p.m.
            
        Hi all, I’m attempting to install Firedrake on a remote Ubuntu workstation. Unfortunately I have not been successful. I’m not quite sure what I need to do to fix this. I have attached the log with this email. Best regards, - Thomas