About

This package is 451.8 KB. It is available at http://ftp.debian.org/debian/pool/main/4/4ti2/4ti2_1.6.7+ds-2+b3_amd64.deb .

View its full control file here: debian/control.

Description

mathematical tool suite for problems on linear spaces -- tools

Relations

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.

Package Contents

This package is indexed.

4ti2 1.6.7+ds-2+b3 is in debian - stretch / main. 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.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/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