/usr/bin/ is in dolfin-bin 2016.2.0-2.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
                
                    
    
        
    
    
    ..
    
        
    
                
             | 
        ||||
                    
    
        
    
    
    /usr/bin/dolfin-convert
    
        
    
                 | 
                text/plain | root:root | 0o755 | 3.6 KB | 
                    
    
        
    
    
    /usr/bin/dolfin-get-demos
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 1.0 KB | 
                    
    
        
    
    
    /usr/bin/dolfin-order
    
        
    
                 | 
                text/plain | root:root | 0o755 | 1.7 KB | 
                    
    
        
    
    
    /usr/bin/dolfin-plot
    
        
    
                 | 
                text/plain | root:root | 0o755 | 3.6 KB | 
                    
    
        
    
    
    /usr/bin/dolfin-version
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 72 bytes |