/usr/include/dolfin/log/ is in libdolfin-dev 2016.2.0-2.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
| 
    
        
    
    
    ..
    
        
    
 | ||||
| 
    
        
    
    
    /usr/include/dolfin/log/Event.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.6 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/LogLevel.h
    
        
    
 | text/plain | root:root | 0o644 | 559 bytes | 
| 
    
        
    
    
    /usr/include/dolfin/log/LogManager.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.0 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/LogStream.h
    
        
    
 | text/x-c | root:root | 0o644 | 2.5 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/Logger.h
    
        
    
 | text/x-c | root:root | 0o644 | 5.2 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/Progress.h
    
        
    
 | text/x-c | root:root | 0o644 | 3.0 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/Table.h
    
        
    
 | text/x-c | root:root | 0o644 | 3.8 KB | 
| 
    
        
    
    
    /usr/include/dolfin/log/dolfin_log.h
    
        
    
 | text/x-c | root:root | 0o644 | 269 bytes | 
| 
    
        
    
    
    /usr/include/dolfin/log/log.h
    
        
    
 | text/x-c | root:root | 0o644 | 6.4 KB |