nabia の amd64 アーキテクチャ用 4ti2 パッケージのファイル一覧
/usr/bin/4ti2-circuits
/usr/bin/4ti2-genmodel
/usr/bin/4ti2-gensymm
/usr/bin/4ti2-graver
/usr/bin/4ti2-groebner
/usr/bin/4ti2-hilbert
/usr/bin/4ti2-markov
/usr/bin/4ti2-minimize
/usr/bin/4ti2-normalform
/usr/bin/4ti2-output
/usr/bin/4ti2-ppi
/usr/bin/4ti2-qsolve
/usr/bin/4ti2-rays
/usr/bin/4ti2-walk
/usr/bin/4ti2-zbasis
/usr/bin/4ti2-zsolve
/usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2gmp
/usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int32
/usr/lib/x86_64-linux-gnu/4ti2/bin/4ti2int64
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2common.so
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2gmp.so
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int32.so
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2int64.so
/usr/lib/x86_64-linux-gnu/4ti2/lib/lib4ti2util.so
/usr/lib/x86_64-linux-gnu/4ti2/lib/libzsolve.so
/usr/share/doc/4ti2/NEWS.gz
/usr/share/doc/4ti2/changelog.Debian.gz
/usr/share/doc/4ti2/copyright
/usr/share/lintian/overrides/4ti2
/usr/share/man/man1/4ti2-circuits.1.gz
/usr/share/man/man1/4ti2-genmodel.1.gz
/usr/share/man/man1/4ti2-gensymm.1.gz
/usr/share/man/man1/4ti2-graver.1.gz
/usr/share/man/man1/4ti2-groebner.1.gz
/usr/share/man/man1/4ti2-hilbert.1.gz
/usr/share/man/man1/4ti2-markov.1.gz
/usr/share/man/man1/4ti2-minimize.1.gz
/usr/share/man/man1/4ti2-normalform.1.gz
/usr/share/man/man1/4ti2-output.1.gz
/usr/share/man/man1/4ti2-ppi.1.gz
/usr/share/man/man1/4ti2-qsolve.1.gz
/usr/share/man/man1/4ti2-rays.1.gz
/usr/share/man/man1/4ti2-walk.1.gz
/usr/share/man/man1/4ti2-zbasis.1.gz
/usr/share/man/man1/4ti2-zsolve.1.gz
/usr/share/man/man1/4ti2.1.gz