/usr/ is in 4ti2 1.6.7+ds-2+b3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
                
                    
    
        
    
    
    ..
    
        
    
                
             | 
        ||||
                    
    
        
    
    
    /usr/bin/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/bin/4ti2-circuits
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
    
    /usr/bin/4ti2-genmodel
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 6.2 KB | 
                    
    
    
    /usr/bin/4ti2-gensymm
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 6.2 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-graver
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 596 bytes | 
                    
    
        
    
    
    /usr/bin/4ti2-groebner
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-hilbert
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 596 bytes | 
                    
    
        
    
    
    /usr/bin/4ti2-markov
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-minimize
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-normalform
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
    
    /usr/bin/4ti2-output
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 6.2 KB | 
                    
    
    
    /usr/bin/4ti2-ppi
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 34.6 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-qsolve
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-rays
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-walk
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
        
    
    
    /usr/bin/4ti2-zbasis
    
        
    
                 | 
                text/x-shellscript | root:root | 0o755 | 2.4 KB | 
                    
    
    
    /usr/bin/4ti2-zsolve
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 14.6 KB | 
                    
    
        
    
    
    /usr/lib/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/bin/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2gmp
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 34.9 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int32
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 34.9 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int64
    
                 | 
                application/x-sharedlib | root:root | 0o755 | 34.9 KB | 
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2common.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 10.1 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2gmp.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 507.6 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int32.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 455.2 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int64.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 451.3 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2util.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 75.0 KB | 
                    
    
    
    /usr/lib/x86_64-linux-gnu/4ti2/lib/libzsolve.so
    
                 | 
                application/x-sharedlib | root:root | 0o644 | 349.0 KB | 
                    
    
        
    
    
    /usr/share/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/share/doc/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/share/doc/4ti2/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
    
    /usr/share/doc/4ti2/changelog.Debian.amd64.gz
    
                 | 
                application/gzip | root:root | 0o644 | 219 bytes | 
                    
    
    
    /usr/share/doc/4ti2/changelog.Debian.gz
    
                 | 
                application/gzip | root:root | 0o644 | 1.2 KB | 
                    
    
    
    /usr/share/doc/4ti2/changelog.gz
    
                 | 
                application/gzip | root:root | 0o644 | 2.0 KB | 
                    
    
        
    
    
    /usr/share/doc/4ti2/copyright
    
        
    
                 | 
                text/plain | root:root | 0o644 | 1.9 KB | 
                    
    
        
    
    
    /usr/share/lintian/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/share/lintian/overrides/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/share/lintian/overrides/4ti2
    
        
    
                 | 
                text/plain | root:root | 0o644 | 343 bytes | 
                    
    
        
    
    
    /usr/share/man/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
        
    
    
    /usr/share/man/man1/
    
        
    
                 | 
                root:root | 0o755 | ||
                    
    
    
    /usr/share/man/man1/4ti2.1.gz
    
                 | 
                application/gzip | root:root | 0o644 | 869 bytes | 
                    
    
        
    
    
    /usr/share/doc/4ti2/NEWS.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-circuits.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-genmodel.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-gensymm.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-graver.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-groebner.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-hilbert.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-markov.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-minimize.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-normalform.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-output.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-ppi.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-qsolve.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-rays.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-walk.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-zbasis.1.gz
    
        
    
                 | 
                root:root | 0o777 | ||
                    
    
        
    
    
    /usr/share/man/man1/4ti2-zsolve.1.gz
    
        
    
                 | 
                root:root | 0o777 |