Package - lib4ti2-0t64

Package:  lib4ti2-0t64
apt-get install lib4ti2-0t64
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/4/4ti2/lib4ti2-0t64_1.6.10+ds-1.1+b2_amd64.deb (Size: 450.3KiB)

PropertyValue
Packagelib4ti2-0t64
Source4ti2 (1.6.10+ds-1.1)
Version1.6.10+ds-1.1+b2
Installed-Size1990
MaintainerDebian Math Team
Architectureamd64
Replaceslib4ti2-0
Provideslib4ti2-0 (= 1.6.10+ds-1.1+b2)
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libglpk40 (>= 4.59), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1)
Breakslib4ti2-0 (<< 1.6.10+ds-1.1)
Descriptionmathematical tool suite for problems on linear spaces -- libs
Description-md5df6e22ec8d67188d9443c53de63ed28a
Multi-Archsame
Homepagehttps://4ti2.github.io/
Sectionlibs
Priorityoptional
Filenamepool/main/4/4ti2/lib4ti2-0t64_1.6.10+ds-1.1+b2_amd64.deb
Size461152
MD5suma2749359afdd173459002af7e66034b4
SHA256b67be9c6821d67c207a33d09fe575cd3e31281bd6395194e2317a273a80d4d34

Files in package

  • /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/doc/lib4ti2-0t64/NEWS.gz
  • /usr/share/doc/lib4ti2-0t64/changelog.Debian.amd64.gz
  • /usr/share/doc/lib4ti2-0t64/changelog.Debian.gz
  • /usr/share/doc/lib4ti2-0t64/changelog.gz
  • /usr/share/doc/lib4ti2-0t64/copyright
  • /usr/share/lintian/overrides/lib4ti2-0t64