This package is 5.6 MB.
                It is available at http://archive.ubuntu.com/ubuntu/pool/universe/c/coinor-ipopt/coinor-libipopt1v5-dbg_3.11.9-2.1build3_amd64.deb
.
                
            
                View its full control file here:
                debian/control.
            
Interior-Point Optimizer - debugging symbols
This package depends on:
                    coinor-libipopt1v5 (= 3.11.9-2.1build3).
                
This package does not recommend any other package.
This package does not suggest any other package.
This package conflicts with:
                    coinor-libipopt1-dbg.
                
coinor-libipopt1v5-dbg 3.11.9-2.1build3 is in ubuntu - bionic / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
| 
    
        
    
    
    /usr/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/debug/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/debug/usr/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/debug/usr/lib/
    
        
    
 | root:root | 0o755 | ||
| 
    
    
    /usr/lib/debug/usr/lib/libipopt.so.1.9.9
    
 | application/x-sharedlib | root:root | 0o644 | 29.4 MB | 
| 
    
        
    
    
    /usr/share/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/coinor-libipopt1v5-dbg/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/coinor-libipopt1v5-dbg/changelog.Debian.gz
    
        
    
 | root:root | 0o777 | ||
| 
    
        
    
    
    /usr/share/doc/coinor-libipopt1v5-dbg/copyright
    
        
    
 | text/plain | root:root | 0o644 | 198.2 KB | 
| 
    
        
    
    
    /usr/share/doc/coinor-libipopt1v5-dbg/README
    
        
    
 | root:root | 0o777 |