lib4ti2-0t64 (1.6.15+ds-1)

Details

Core information at a glance

Distribution
debian
Origin
debian-forky
Repository
https://deb.debian.org/debian
Codename
forky
Component
main
Source
4ti2
Architecture
riscv64
Section
libs
Priority
optional
Maintainer
Debian Math Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
1.6 kB
Size expected
446.1 kB
Size actual
446.1 kB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.38)
  • libgcc-s1 (>= 3.4)
  • libglpk40 (>= 4.59)
  • libgmp10 (>= 2:6.3.0+dfsg)
  • libgmpxx4ldbl (>= 2:6.3.0+dfsg)
  • libstdc++6 (>= 13.1)

Suggested packages

Recommended additional packages

  • None

Description

mathematical tool suite for problems on linear spaces -- libs

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD590e5fd08…0c4ca35d
SHA-137f06073…2b314409
SHA-25673860ba5…b7ab66ea
SHA-512fbd58baa…c488f169

Contents

Files and directories included

.
usr
usr/lib
usr/lib/riscv64-linux-gnu
usr/lib/riscv64-linux-gnu/lib4ti2common.so.0.0.0
usr/lib/riscv64-linux-gnu/lib4ti2gmp.so.0.0.0
usr/lib/riscv64-linux-gnu/lib4ti2int32.so.0.0.0
usr/lib/riscv64-linux-gnu/lib4ti2int64.so.0.0.0
usr/lib/riscv64-linux-gnu/lib4ti2util.so.0.0.0
usr/lib/riscv64-linux-gnu/libzsolve.so.0.0.0
usr/share
usr/share/doc
usr/share/doc/lib4ti2-0t64
usr/share/doc/lib4ti2-0t64/changelog.Debian.gz
usr/share/doc/lib4ti2-0t64/changelog.gz
usr/share/doc/lib4ti2-0t64/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/lib4ti2-0t64
usr/lib/riscv64-linux-gnu/lib4ti2common.so.0
usr/lib/riscv64-linux-gnu/lib4ti2gmp.so.0
usr/lib/riscv64-linux-gnu/lib4ti2int32.so.0
usr/lib/riscv64-linux-gnu/lib4ti2int64.so.0
usr/lib/riscv64-linux-gnu/lib4ti2util.so.0
usr/lib/riscv64-linux-gnu/libzsolve.so.0
usr/share/doc/lib4ti2-0t64/NEWS.gz