/usr/lib/ is in picosat 936-3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
                
                    
    
        
    
    
    ..
    
        
    
                
             | 
        ||||
                    
    
        
    
    
    /usr/lib/libpicosat-trace.so
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
    
    /usr/lib/libpicosat.a
    
                 | 
                application/x-archive | root:root | 0o644 | 142.0 KB | 
                    
    
    
    /usr/lib/libpicosat-trace.a
    
                 | 
                application/x-archive | root:root | 0o644 | 120.2 KB | 
                    
    
    
    /usr/lib/libpicosat.so.1.0.0
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 74.0 KB | 
                    
    
    
    /usr/lib/libpicosat-trace.so.1.0.0
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 66.0 KB | 
                    
    
        
    
    
    /usr/lib/libpicosat.so
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/lib/libpicosat.so.1
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/lib/libpicosat-trace.so.1
    
        
    
                 | 
                root:root | 0o777 |