haskell-what4-utils (1.6.3-1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: haskell-what4
Architecture: ppc64el
Section: universe/misc
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 43.3 kB
Size expected: 4.5 MB
Size actual: 4.5 MB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.38)
libffi8 (>= 3.4)
libgmp10 (>= 2:6.3.0+dfsg)
libnuma1 (>= 2.0.11)
zlib1g (>= 1:1.1.4)

Suggested packages

Recommended additional packages

None

Description

Solver-agnostic symbolic values support for issuing queries

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	1543c35a…7e6d04c7	1543c35a…7e6d04c7
SHA-1	28fb4d71…c790535e	28fb4d71…c790535e
SHA-256	3b417e11…a90df810	3b417e11…a90df810
SHA-512	bd1f3c4f…5823d77e	bd1f3c4f…5823d77e

Files and directories included

.
usr
usr/bin
usr/bin/quickstart
usr/share
usr/share/doc
usr/share/doc/haskell-what4-utils
usr/share/doc/haskell-what4-utils/changelog.Debian.gz
usr/share/doc/haskell-what4-utils/copyright
usr/share/what4
usr/share/what4/solverBounds.config