This package is 445.4 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/4/4ti2/4ti2_1.6.7+ds-2build2_amd64.deb
.
View its full control file here:
debian/control.
mathematical tool suite for problems on linear spaces -- tools
This package depends on:
libc6 (>= 2.14), libgcc1 (>= 1:3.0), libglpk40 (>= 4.59), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2).
This package does not recommend any other package.
This package suggests:
4ti2-doc.
This package does not conflict with any other package.
4ti2 1.6.7+ds-2build2 is in ubuntu - bionic / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/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.0 KB |
/usr/bin/4ti2-gensymm
|
application/x-sharedlib | root:root | 0o755 | 6.0 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.0 KB |
/usr/bin/4ti2-ppi
|
application/x-sharedlib | root:root | 0o755 | 34.2 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.2 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.1 KB |
/usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int32
|
application/x-sharedlib | root:root | 0o755 | 34.1 KB |
/usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int64
|
application/x-sharedlib | root:root | 0o755 | 34.1 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 | 492.7 KB |
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int32.so
|
application/x-sharedlib | root:root | 0o644 | 440.4 KB |
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int64.so
|
application/x-sharedlib | root:root | 0o644 | 440.4 KB |
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2util.so
|
application/x-sharedlib | root:root | 0o644 | 70.2 KB |
/usr/lib/x86_64-linux-gnu/4ti2/lib/libzsolve.so
|
application/x-sharedlib | root:root | 0o644 | 343.3 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.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/4ti2/copyright
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/4ti2/NEWS.gz
|
root:root | 0o777 | ||
/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/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 |