Package: lib4ti2-0:amd64 Status: install ok installed Priority: optional Section: libs Installed-Size: 1944 Maintainer: Debian Math Team <team+math@tracker.debian.org> [Debian Bug Report] Architecture: amd64 Multi-Arch: same Source: 4ti2 Version: 1.6.9+ds-8 Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libglpk40 (>= 4.59), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11) Description: mathematical tool suite for problems on linear spaces -- libs 4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces. This package provides the shared libraries required to run programs compiled against the 4ti2 library. To compile your own programs you also need to install the lib4ti2-dev package. Homepage: https://4ti2.github.io/ Files owned by package lib4ti2-0:amd64: /usr /usr/lib /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/lib4ti2common.so.0 /usr/lib/x86_64-linux-gnu/lib4ti2common.so.0.0.0 /usr/lib/x86_64-linux-gnu/lib4ti2gmp.so.0 /usr/lib/x86_64-linux-gnu/lib4ti2gmp.so.0.0.0 /usr/lib/x86_64-linux-gnu/lib4ti2int32.so.0 /usr/lib/x86_64-linux-gnu/lib4ti2int32.so.0.0.0 /usr/lib/x86_64-linux-gnu/lib4ti2int64.so.0 /usr/lib/x86_64-linux-gnu/lib4ti2int64.so.0.0.0 /usr/lib/x86_64-linux-gnu/lib4ti2util.so.0 /usr/lib/x86_64-linux-gnu/lib4ti2util.so.0.0.0 /usr/lib/x86_64-linux-gnu/libzsolve.so.0 /usr/lib/x86_64-linux-gnu/libzsolve.so.0.0.0 /usr/share /usr/share/doc /usr/share/doc/lib4ti2-0 /usr/share/doc/lib4ti2-0/NEWS.gz /usr/share/doc/lib4ti2-0/changelog.Debian.gz /usr/share/doc/lib4ti2-0/changelog.gz /usr/share/doc/lib4ti2-0/copyright /usr/share/lintian /usr/share/lintian/overrides /usr/share/lintian/overrides/lib4ti2-0